formatting tweaks

history.txt

@@ -2585,3 +2585,4 @@ ______
 * GUI, Blocks, BYOB: New “Export Project Summary” Feature, also: exporting script pics now includes attached comments
 * Blocks, Objects, Threads: Key hat block and key sensor support for “any” key
 * German translation update
+* Suppress antialiasing when scaling things in the paint editor. Thanks, Kartik!

paint.js

@@ -70,7 +70,7 @@
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.paint = '2015-June-25';
+modules.paint = '2015-October-02';
 
 // Declarations
 
@@ -625,11 +625,14 @@ PaintCanvasMorph.prototype.undo = function () {
 };
 
 PaintCanvasMorph.prototype.disableSmoothing = function (ctx) {
-    ctx['imageSmoothingEnabled'] = false;       /* standard */
-    ctx['mozImageSmoothingEnabled'] = false;    /* Firefox */
-    ctx['oImageSmoothingEnabled'] = false;      /* Opera */
-    ctx['webkitImageSmoothingEnabled'] = false; /* Safari */
-    ctx['msImageSmoothingEnabled'] = false;     /* IE */
+    ctx.imageSmoothingEnabled = false;       /* standard */
+
+    // we oughta keep checking whether the following ones
+    // are still needed
+    ctx.mozImageSmoothingEnabled = false;    /* Firefox */
+    ctx.oImageSmoothingEnabled = false;      /* Opera */
+    ctx.webkitImageSmoothingEnabled = false; /* Safari */
+    ctx.msImageSmoothingEnabled = false;     /* IE */
 };
 
 PaintCanvasMorph.prototype.merge = function (a, b) {