--- a/ImageEditor.st	Mon Jul 15 18:54:24 2019 +0200
+++ b/ImageEditor.st	Tue Jul 16 16:41:59 2019 +0200
@@ -8217,7 +8217,7 @@
 
         box verticalPanel add:(slider := HorizontalSlider new start:2 stop:256 step:1).
         slider model:thresholdValue.
-        slider width:1.0; leftInset:4; rightInset:4.
+        slider width:1.0; leftInset:4 rightInset:4.
 
         box verticalPanel add:(preview := ImageView new).
         preview extent:300 @300.
@@ -8252,6 +8252,7 @@
     imageEditView newImageWithUndo:(grayImage asDitheredImageUsing:grayColors depth:(grayImage depth)).
 
     "Created: / 23-10-2017 / 11:17:44 / cg"
+    "Modified: / 16-07-2019 / 16:37:46 / Claus Gittinger"
 !
 
 do3DProjection
@@ -8742,7 +8743,7 @@
         
         box verticalPanel add:(slider := HorizontalSlider new start:0 stop:1 step:0.05).
         slider model:thresholdValue.
-        slider width:1.0; leftInset:4; rightInset:4.
+        slider width:1.0; leftInset:4 rightInset:4.
 
         box verticalPanel add:(preview := ImageView new).
         preview extent:300 @300.
@@ -8777,6 +8778,7 @@
     "Created: / 24-08-2017 / 15:26:44 / cg"
     "Modified: / 24-08-2017 / 17:54:21 / cg"
     "Modified (format): / 23-10-2017 / 10:42:52 / cg"
+    "Modified: / 16-07-2019 / 16:37:50 / Claus Gittinger"
 !
 
 makeNegative
@@ -8845,7 +8847,7 @@
 
         box verticalPanel add:(slider := HorizontalSlider new start:2 stop:256 step:1).
         slider model:thresholdValue.
-        slider width:1.0; leftInset:4; rightInset:4.
+        slider width:1.0; leftInset:4 rightInset:4.
 
         box verticalPanel add:(preview := ImageView new).
         preview extent:300 @300.
@@ -8880,6 +8882,7 @@
     imageEditView newImageWithUndo:(grayImage asNearestPaintImageDepth:(grayImage depth) colors:grayColors).
 
     "Created: / 23-10-2017 / 10:55:15 / cg"
+    "Modified: / 16-07-2019 / 16:37:54 / Claus Gittinger"
 ! !
 
 !ImageEditor methodsFor:'user actions-editing-colors'!