diff --git a/HISTORY.md b/HISTORY.md
index 2591f180..85c35ed5 100755
--- a/HISTORY.md
+++ b/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
diff --git a/snap.html b/snap.html
index b2d89ce4..99f5f5f7 100755
--- a/snap.html
+++ b/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>
diff --git a/src/objects.js b/src/objects.js
index 720d66b6..3a3ce1b0 100644
--- a/src/objects.js
+++ b/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;
diff --git a/src/paint.js b/src/paint.js
index 2f6fbd31..3d910bac 100644
--- a/src/paint.js
+++ b/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 {
diff --git a/src/sketch.js b/src/sketch.js
index 12f7d80c..31d8fb91 100644
--- a/src/sketch.js
+++ b/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 {
diff --git a/src/widgets.js b/src/widgets.js
index 6a55eb0f..641b9a00 100644
--- a/src/widgets.js
+++ b/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;