From f844ac4f9f5b99f52de3b20abcd2c802cb42f6c9 Mon Sep 17 00:00:00 2001
From: Albert Graef <aggraef@gmail.com>
Date: Mon, 7 Nov 2016 23:06:17 +0100
Subject: [PATCH] Disable the autotips menu option for now as it doesn't work
yet.
---
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 be925f0f4..7f6b48ab5 100644
--- a/pd/nw/pd_menus.js
+++ b/pd/nw/pd_menus.js
@@ -279,10 +279,12 @@ function create_menu(gui, type) {
tooltip: l("menu.finderror_tt")
}));
edit_menu.append(new gui.MenuItem({ type: "separator" }));
- edit_menu.append(m.edit.autotips = new gui.MenuItem({
+ m.edit.autotips = new gui.MenuItem({
label: l("menu.autotips"),
tooltip: l("menu.autotips_tt")
- }));
+ });
+ // commented out because it doesn't work yet -ag
+ //edit_menu.append(m.edit.autotips);
edit_menu.append(m.edit.editmode = new gui.MenuItem({
type: "checkbox",
label: l("menu.editmode"),
--
GitLab