From 01da3f628332d3f53eaf8ae826f6432bb9ac568e Mon Sep 17 00:00:00 2001
From: Jonathan Wilkes <jon.w.wilkes@gmail.com>
Date: Thu, 29 Oct 2015 22:01:08 -0400
Subject: [PATCH] add comment for devtools shortcut
---
pd/nw/index.js | 2 +-
pd/nw/pd_canvas.js | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/pd/nw/index.js b/pd/nw/index.js
index 7c266502e..9efc77338 100644
--- a/pd/nw/index.js
+++ b/pd/nw/index.js
@@ -706,7 +706,7 @@ function nw_create_pd_window_menus () {
click: function() {
gui.Window.get().showDevTools();
},
- key: "b",
+ key: "b", // temporary convenience shortcut-- can change if needed
modifiers: "ctrl",
tooltip: l("menu.devtools_tt")
}));
diff --git a/pd/nw/pd_canvas.js b/pd/nw/pd_canvas.js
index 3993ebb32..6cca33f87 100644
--- a/pd/nw/pd_canvas.js
+++ b/pd/nw/pd_canvas.js
@@ -1336,7 +1336,7 @@ function nw_create_patch_window_menus(name) {
helpMenu.append(new gui.MenuItem({
label: l("menu.devtools"),
- key: "b",
+ key: "b", // temporary convenience shortcut-- can change if needed
modifiers: "ctrl",
click: function () {
gui.Window.get().showDevTools();
--
GitLab