From 88aaad4f5ae03394ebb1487c90c170cad541e9dd Mon Sep 17 00:00:00 2001
From: Ruben Daniels <ruben@c9.io>
Date: Tue, 20 Oct 2015 14:24:54 -0700
Subject: [PATCH] Add minwidth/minheight to menu

---
 package.json                          |  2 +-
 plugins/c9.ide.preferences/general.js |  2 +-
 plugins/c9.ide.ui/menus.js            | 14 ++++++++++++++
 3 files changed, 16 insertions(+), 2 deletions(-)

diff --git a/package.json b/package.json
index 64f12985..99f3abb6 100644
--- a/package.json
+++ b/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",
diff --git a/plugins/c9.ide.preferences/general.js b/plugins/c9.ide.preferences/general.js
index 1c656659..18114a70 100644
--- a/plugins/c9.ide.preferences/general.js
+++ b/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
         });
diff --git a/plugins/c9.ide.ui/menus.js b/plugins/c9.ide.ui/menus.js
index 256a678d..218f369c 100644
--- a/plugins/c9.ide.ui/menus.js
+++ b/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