From e8021714780cfe67f88da96a06771758c83cf0fd Mon Sep 17 00:00:00 2001
From: Jonathan Wilkes <jon.w.wilkes@gmail.com>
Date: Fri, 26 Feb 2016 17:21:22 -0500
Subject: [PATCH] more revisions per jslint
---
pd/nw/pd_menus.js | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/pd/nw/pd_menus.js b/pd/nw/pd_menus.js
index 8e01e3071..6699b3d65 100644
--- a/pd/nw/pd_menus.js
+++ b/pd/nw/pd_menus.js
@@ -90,7 +90,7 @@ function create_menu(gui, type) {
label: l("menu.close"),
key: "w",
modifiers: cmd_or_ctrl,
- tooltip: l("menu.close_tt"),
+ tooltip: l("menu.close_tt")
}));
}
fileMenu.append(m.file.quit = new gui.MenuItem({
@@ -242,7 +242,7 @@ function create_menu(gui, type) {
}));
// View sub-entries
- m.view= {};
+ m.view = {};
viewMenu.append(m.view.zoomin = new gui.MenuItem({
label: l("menu.zoomin"),
key: "=",
@@ -415,7 +415,7 @@ function create_menu(gui, type) {
label: l("menu.pdwin"),
tooltip: l("menu.pdwin_tt"),
key: "r",
- modifiers: cmd_or_ctrl
+ modifiers: cmd_or_ctrl
}));
}
// Media menu
@@ -468,7 +468,7 @@ function create_menu(gui, type) {
}));
helpMenu.append(m.help.manual = new gui.MenuItem({
label: l("menu.manual"),
- tooltip: l("menu.manual"),
+ tooltip: l("menu.manual")
}));
helpMenu.append(m.help.browser = new gui.MenuItem({
label: l("menu.browser"),
--
GitLab