Scalable blocks and scripts

Shift-clicking on the settings menu lets you specify a fraction, by
which blocks and scripts are scaled, allowing you to e.g. export
poster-sized hi-res script pics, or to present Snap! live on hi-res
screens and projectors

1 files changed, 4 insertions, 3 deletions

diff --git a/widgets.js b/widgets.js
index 6740ef5..2760171 100644
--- a/widgets.js
+++ b/widgets.js
@@ -73,7 +73,7 @@ newCanvas, StringMorph, Morph, TextMorph, nop, detect, StringFieldMorph,
 HTMLCanvasElement, fontHeight, SymbolMorph, localize, SpeechBubbleMorph,
 ArrowMorph, MenuMorph, isString*/
 
-modules.widgets = '2013-February-26';
+modules.widgets = '2013-March-18';
 
 var PushButtonMorph;
 var ToggleButtonMorph;
@@ -1531,11 +1531,12 @@ DialogBoxMorph.prototype.prompt = function (
     world,
     pic,
     choices, // optional dictionary for drop-down of choices
-    isReadOnly // optional when using choices
+    isReadOnly, // optional when using choices
+    isNumeric // optional
 ) {
     var txt = new InputFieldMorph(
         defaultString,
-        false, // numeric?
+        isNumeric || false, // numeric?
         choices || null, // drop-down dict, optional
         choices ? isReadOnly || false : false
     );