From a551bfcadb7f0fe2daf45b680abb0aa76abae0cd Mon Sep 17 00:00:00 2001
From: Jonathan Wilkes <jon.w.wilkes@gmail.com>
Date: Sun, 7 Feb 2016 02:20:20 -0500
Subject: [PATCH] fix menu shortcuts for PageUp and PageDown
---
pd/nw/pd_menus.js | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/pd/nw/pd_menus.js b/pd/nw/pd_menus.js
index 976488559..0e53b0bca 100644
--- a/pd/nw/pd_menus.js
+++ b/pd/nw/pd_menus.js
@@ -389,13 +389,15 @@ function create_menu(gui, type) {
m.win = {};
winmanMenu.append(m.win.nextwin = new gui.MenuItem({
label: l("menu.nextwin"),
- key: String.fromCharCode(12), // Page down
+ key: "PageDown",
+ //key: String.fromCharCode(12), // Page down
modifiers: cmd_or_ctrl,
tooltip: l("menu.nextwin_tt")
}));
winmanMenu.append(m.win.prevwin = new gui.MenuItem({
label: l("menu.prevwin"),
- key: String.fromCharCode(11), // Page up
+ key: "PageUp",
+ //key: String.fromCharCode(11), // Page up
modifiers: cmd_or_ctrl,
tooltip: l("menu.prevwin_tt")
}));
--
GitLab