updated version history

HISTORY.md

@@ -5,6 +5,7 @@
 ### 2020-07-13
 * paint, symbols: new iconic buttons for grow, shrink and flip actions, thanks, Jadga!
 * sketch: tweaked layout to match the paint editor's
+* fixed shift-key constrain mode and "clear" in paint and vector editors, thanks, Joan!
 
 ### 2020-07-10
 * morphic: prevent the browser from hijacking cmd-d/f/i/p/s key events

snap.html

@@ -6,10 +6,10 @@
         <link rel="shortcut icon" href="src/favicon.ico">
         <script src="src/morphic.js?version=2020-07-10"></script>
         <script src="src/symbols.js?version=2020-07-01"></script>
-        <script src="src/widgets.js?version=2020-07-01"></script>
+        <script src="src/widgets.js?version=2020-07-13"></script>
         <script src="src/blocks.js?version=2020-07-02"></script>
         <script src="src/threads.js?version=2020-07-09"></script>
-        <script src="src/objects.js?version=2020-07-09"></script>
+        <script src="src/objects.js?version=2020-07-13"></script>
         <script src="src/gui.js?version=2020-07-08"></script>
         <script src="src/paint.js?version=2020-05-17"></script>
         <script src="src/lists.js?version=2020-07-01"></script>

src/objects.js

@@ -84,7 +84,7 @@ BlockEditorMorph, BlockDialogMorph, PrototypeHatBlockMorph,  BooleanSlotMorph,
 localize, TableMorph, TableFrameMorph, normalizeCanvas, VectorPaintEditorMorph,
 HandleMorph, AlignmentMorph, Process, XML_Element, WorldMap, copyCanvas*/
 
-modules.objects = '2020-July-09';
+modules.objects = '2020-July-13';
 
 var SpriteMorph;
 var StageMorph;

src/paint.js

@@ -243,7 +243,7 @@ PaintEditorMorph.prototype.buildEdits = function () {
                     'Are you sure you want to continue?',
                     'Switch to vector editor?',
                     () => {
-                        setTimeout(() => {myself.switchToVector()});
+                        setTimeout(() => {myself.switchToVector(); });
                     }
                 );
             } else {

src/sketch.js

@@ -985,7 +985,7 @@ VectorPaintEditorMorph.prototype.buildEdits = function () {
                         'Are you sure you want to continue?',
                         'Convert to bitmap?',
                         () => {
-                            setTimeout(() => {myself.convertToBitmap()});
+                            setTimeout(() => {myself.convertToBitmap(); });
                         }
                     );
                 } else {

src/widgets.js

@@ -85,7 +85,7 @@ HTMLCanvasElement, fontHeight, SymbolMorph, localize, SpeechBubbleMorph,
 ArrowMorph, MenuMorph, isString, isNil, SliderMorph, MorphicPreferences,
 ScrollFrameMorph, MenuItemMorph, Note*/
 
-modules.widgets = '2020-July-01';
+modules.widgets = '2020-July-13';
 
 var PushButtonMorph;
 var ToggleButtonMorph;