GUI: Use new vector prompter for stage dimensions

also take out previous experimental code and make this new feature an
official one

gui.js

@@ -2067,20 +2067,10 @@ IDE_Morph.prototype.settingsMenu = function () {
         'Zoom blocks...',
         'userSetBlocksScale'
     );
-    if (shiftClicked) {
-        menu.addItem(
-            'Stage width...',
-            'userSetStageWidth',
-            null,
-            new Color(100, 0, 0)
-        );
-        menu.addItem(
-            'Stage height...',
-            'userSetStageHeight',
-            null,
-            new Color(100, 0, 0)
-        );
-    }
+    menu.addItem(
+        'Stage size...',
+        'userSetStageSize'
+    );
     menu.addLine();
     addPreference(
         'Blurred shadows',
@@ -3487,52 +3477,23 @@ IDE_Morph.prototype.setBlocksScale = function (num) {
 
 // IDE_Morph stage size manipulation
 
-IDE_Morph.prototype.userSetStageWidth = function () {
+IDE_Morph.prototype.userSetStageSize = function () {
     new DialogBoxMorph(
         this,
-        this.setStageWidth,
+        this.setStageExtent,
         this
-    ).prompt(
-        "Stage width",
-        StageMorph.prototype.dimensions.x.toString(),
+    ).promptVector(
+        "Stage size",
+        StageMorph.prototype.dimensions,
+        new Point(480, 360),
+        'Stage width',
+        'Stage height',
         this.world(),
         null, // pic
-        null, // choices
-        null, // read only
-        true // numeric
+        null // msg
     );
 };
 
-IDE_Morph.prototype.userSetStageHeight = function () {
-    new DialogBoxMorph(
-        this,
-        this.setStageHeight,
-        this
-    ).prompt(
-        "Stage height",
-        StageMorph.prototype.dimensions.y.toString(),
-        this.world(),
-        null, // pic
-        null, // choices
-        null, // read only
-        true // numeric
-    );
-};
-
-IDE_Morph.prototype.setStageWidth = function (num) {
-    this.setStageExtent(new Point(
-        num,
-        (StageMorph.prototype.dimensions.y)
-    ));
-};
-
-IDE_Morph.prototype.setStageHeight = function (num) {
-    this.setStageExtent(new Point(
-        (StageMorph.prototype.dimensions.x),
-        num
-    ));
-};
-
 IDE_Morph.prototype.setStageExtent = function (aPoint) {
     var myself = this,
         world = this.world(),

history.txt

@@ -2101,3 +2101,4 @@ ______
 * GUI, Store: constrain minimum stage size to 480 x 180
 * GUI: Fixed #322, #324
 * Widgets: new “promptVector” dialog box feature
+* GUI: Use new vector prompter for stage dimensions