diff options
Diffstat (limited to 'gui.js')
| -rw-r--r-- | gui.js | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1857,7 +1857,7 @@ IDE_Morph.prototype.removeSprite = function (sprite) { IDE_Morph.prototype.userMenu = function () { var menu = new MenuMorph(this); - menu.addItem('help', 'nop'); + // menu.addItem('help', 'nop'); return menu; }; |
