From 03b69769bea849923864ea636d44a3a01c690789 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Thu, 13 Feb 2014 17:50:43 +0100
Subject: GUI: Use new vector prompter for stage dimensions

also take out previous experimental code and make this new feature an
official one
---
 gui.js | 65 +++++++++++++----------------------------------------------------
 1 file changed, 13 insertions(+), 52 deletions(-)

(limited to 'gui.js')

diff --git a/gui.js b/gui.js
index 2445aa3..0f4f2eb 100644
--- a/gui.js
+++ b/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 () {
-    new DialogBoxMorph(
-        this,
-        this.setStageWidth,
-        this
-    ).prompt(
-        "Stage width",
-        StageMorph.prototype.dimensions.x.toString(),
-        this.world(),
-        null, // pic
-        null, // choices
-        null, // read only
-        true // numeric
-    );
-};
-
-IDE_Morph.prototype.userSetStageHeight = function () {
+IDE_Morph.prototype.userSetStageSize = function () {
     new DialogBoxMorph(
         this,
-        this.setStageHeight,
+        this.setStageExtent,
         this
-    ).prompt(
-        "Stage height",
-        StageMorph.prototype.dimensions.y.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.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(),
-- 
cgit v1.3.1