diff --git a/pd/nw/pd_menus.js b/pd/nw/pd_menus.js index be925f0f41f55dafcff2c295e63b1f2a17084d0e..7f6b48ab5b4fe13516bd17905665db07223f1b0c 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"),