Add minwidth/minheight to menu

package.json

@@ -105,7 +105,7 @@
         "c9.ide.run": "#f360984649",
         "c9.ide.run.build": "#0598fff697",
         "c9.ide.run.debug.xdebug": "#61dcbd0180",
-        "c9.ide.save": "#e00549cb0f",
+        "c9.ide.save": "#4a4a60a004",
         "c9.ide.scm": "#573585193a",
         "c9.ide.terminal.monitor": "#b76f1c9f24",
         "c9.ide.test": "#302388c9eb",

plugins/c9.ide.preferences/general.js

@@ -16,7 +16,7 @@ define(function(require, exports, module) {
         /***** Initialization *****/
         
         var plugin = new PreferencePanel("Ajax.org", main.consumes, {
-            caption: "Settings",
+            caption: "User Settings",
             form: true,
             index: 100
         });

plugins/c9.ide.ui/menus.js

@@ -954,6 +954,8 @@ define(function(require, exports, module) {
                     visible: options.visible,
                     width: options.width,
                     height: options.height,
+                    minWidth: options.minWidth,
+                    minHeight: options.minHeight,
                     "onprop.visible" : function(e) {
                         emit(e.value ? "show" : "hide", lastCoords);
                         checkItems.call(this, e);
@@ -1072,6 +1074,18 @@ define(function(require, exports, module) {
                  */
                 get height(){ return aml && aml.getHeight(); },
                 set height(value) { aml && aml.setAttribute("height", value); },
+                /**
+                 * Specifies the minimal width of the menu
+                 * @property {Number} width
+                 */
+                get minWidth(){ return aml && aml.getAttribute("minwidth"); },
+                set minWidth(value) { aml && aml.setAttribute("minwidth", value); },
+                /**
+                 * Specifies the minimal height of the menu
+                 * @property {Number} height
+                 */
+                get minHeight(){ return aml && aml.getAttribute("minheight"); },
+                set minHeight(value) { aml && aml.setAttribute("minheight", value); },
                 /**
                  * The menu items appended to this menu
                  * @property {MenuItem[]} items