fixed #508 (don’t popup empty menus)

thanks, @cycomached!

gui.js

@@ -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;
 };
 

morphic.js

@@ -6893,6 +6893,9 @@ MenuMorph.prototype.popup = function (world, pos) {
     if (world.activeMenu) {
         world.activeMenu.destroy();
     }
+    if (this.items.length < 1 && !this.title) { // don't show empty menus
+        return;
+    }
     world.add(this);
     world.activeMenu = this;
     this.fullChanged();

objects.js

@@ -125,7 +125,7 @@ PrototypeHatBlockMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.objects = '2014-July-08';
+modules.objects = '2014-July-11';
 
 var SpriteMorph;
 var StageMorph;
@@ -2577,7 +2577,7 @@ SpriteMorph.prototype.userMenu = function () {
         menu = new MenuMorph(this);
 
     if (ide && ide.isAppMode) {
-        menu.addItem('help', 'nop');
+        // menu.addItem('help', 'nop');
         return menu;
     }
     menu.addItem("duplicate", 'duplicate');
@@ -5116,7 +5116,7 @@ StageMorph.prototype.userMenu = function () {
         myself = this;
 
     if (ide && ide.isAppMode) {
-        menu.addItem('help', 'nop');
+        // menu.addItem('help', 'nop');
         return menu;
     }
     menu.addItem("edit", 'edit');