Fix bug in re-enabling a menu

Author: BruceSherwood

ForInstalledPython/glow.min.js

@@ -2999,9 +2999,10 @@
 	}
 
 	function menu(args) {
-	    if (!(this instanceof menu)) return new menu(args)  // so slider() is like new slider()
+	    if (!(this instanceof menu)) return new menu(args)  // so menu() is like new menu()
 	    var cvs = canvas.get_selected()
-	    var attrs = {pos:cvs.caption_anchor, selected:null, disabled:false} // selected = -1 means no choice is highlighted initially
+		// selected = -1 means no choice is highlighted initially:
+	    var attrs = {pos:cvs.caption_anchor, selected:null, disabled:false} 
 		if (args.bind !== undefined) {
 			attrs.bind = args.bind
 			delete args.bind
@@ -3035,9 +3036,9 @@
 	        	attrs.disabled = value
 	            $(attrs.jmenu).attr('disabled', attrs.disabled)
 	            if (attrs.disabled)
-	            	$(attrs.jmenu).css({color:rgb_to_css(vec(0.7,0.7,0.7)), backgroundColor:rgb_to_css(vec(1,1,1))})
+	            	$(attrs.jmenu).css({color:rgb_to_css(vec(0.7,0.7,0.7))})
 	            else
-	            	$(attrs.jmenu).css({color:rgb_to_css(attrs.color), backgroundColor:rgb_to_css(attrs.background)})
+	            	$(attrs.jmenu).css({color:rgb_to_css(vec(0,0,0))})
 	        },
 	        get selected() {return $(attrs.jmenu).val()},
 	        set selected(value) {$(attrs.jmenu).val(value)},