--- a/ImageEditView.st	Wed Nov 29 17:44:01 2017 +0100
+++ b/ImageEditView.st	Thu Dec 07 14:49:56 2017 +0100
@@ -2479,10 +2479,10 @@
     "called from button-press/button motion while in point-drawing mode:
      draw a single pixel with the currently selected color"
 
-    self pointAt:aPoint width:self penWidth.
+    self pointAt:aPoint width:(self penWidth).
 
     "Modified: / 15-02-2012 / 22:47:30 / cg"
-    "Modified (comment): / 16-02-2017 / 11:13:06 / cg"
+    "Modified (format): / 07-12-2017 / 14:46:17 / cg"
 !
 
 pointAt:aPoint width:pw
@@ -2516,9 +2516,8 @@
                 ].
                 image atImageAndMask:point put:newColor
             ] ifFalse:[
-                (pix := self drawingPixelOrNil) notNil ifTrue:[
-                    image atImageAndMask:point putValue:pix.
-                ].             
+                pix := self drawingPixelOrNil. "/ nil is valid here, and means: masked
+                image atImageAndMask:point putValue:pix.
             ].             
             self invalidate:((point * magnification extent: magnification) expandedBy:1).
         ].
@@ -2540,7 +2539,7 @@
     self setModified.
 
     "Created: / 15-02-2012 / 22:47:08 / cg"
-    "Modified: / 13-09-2017 / 17:55:02 / cg"
+    "Modified: / 07-12-2017 / 14:49:48 / cg"
 !
 
 smoothAt:aPoint