diff options
Diffstat (limited to 'gui.js')
| -rw-r--r-- | gui.js | 65 |
1 files changed, 13 insertions, 52 deletions
@@ -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(), |
