DeviceWorkstation.st
changeset 7422 427a92692f52
parent 7228 15b88c38dbe4
child 7443 e2d05b756727
--- a/DeviceWorkstation.st	Wed Jul 20 11:18:03 2016 +0200
+++ b/DeviceWorkstation.st	Wed Jul 20 11:25:31 2016 +0200
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
 COPYRIGHT (c) 1993 by Claus Gittinger
 	      All Rights Reserved
@@ -1085,17 +1087,17 @@
     root := self rootView.
 
     root clippedByChildren:false.
-    root paint:Color black.
+    root paint:self blackColor.
     r := aRectangle.
     0 to:bw-1 do:[:i |
-	root displayRectangle:r.
-	r := r insetBy:1.
+        root displayRectangle:r.
+        r := r insetBy:1.
     ].
     root clippedByChildren:true.
 
     "
      Display restoreAfter:[
-	Display border:(10@10 corner:100@100) width:2.
+        Display border:(10@10 corner:100@100) width:2.
      ]
     "
 
@@ -1115,13 +1117,13 @@
     root := self rootView.
 
     root clippedByChildren:false.
-    root paint:Color black.
+    root paint:self blackColor.
     root displayOpaqueString:s x:x y:y.
     root clippedByChildren:true.
 
     "
      Display restoreAfter:[
-	Display displayOpaqueString:'hello' x:10 y:10.
+        Display displayOpaqueString:'hello' x:10 y:10.
      ]
     "
 
@@ -1138,13 +1140,13 @@
     root := self rootView.
 
     root clippedByChildren:false.
-    root paint:Color black.
+    root paint:self blackColor.
     root displayString:s x:x y:y.
     root clippedByChildren:true.
 
     "
      Display restoreAfter:[
-	Display displayString:'hello' x:10 y:10.
+        Display displayString:'hello' x:10 y:10.
      ]
     "
 
@@ -7594,45 +7596,45 @@
      where the systemDefaults are used ..."
 
     <resource: #style (#viewSpacing
-		       #borderColor #borderWidth
-		       #viewBackgroundColor #shadowColor #lightColor
-		      )>
+                       #borderColor #borderWidth
+                       #viewBackgroundColor #shadowColor #lightColor
+                      )>
 
     aKey == #viewSpacing ifTrue:[
-	^ self verticalPixelPerMillimeter rounded       "/ 1 millimeter
+        ^ self verticalPixelPerMillimeter rounded       "/ 1 millimeter
     ].
 
     aKey == #borderColor ifTrue:[
-	^ Color black
+        ^ self blackColor
     ].
     aKey == #borderWidth ifTrue:[
-	^ 1
+        ^ 1
     ].
 
     aKey == #shadowColor ifTrue:[
-	^ Color black
+        ^ self blackColor
     ].
     aKey == #lightColor ifTrue:[
-	^ Color white
+        ^ self whiteColor
     ].
     aKey == #viewBackgroundColor ifTrue:[
-	^ Color white
+        ^ self whiteColor
     ].
     aKey == #scrollerViewBackgroundColor ifTrue:[
-	^ Color white
+        ^ self whiteColor
     ].
 
     aKey == #textForegroundColor ifTrue:[
-	^ Color black.
+        ^ self blackColor.
     ].
     aKey == #textBackgroundColor ifTrue:[
-	^ Color white.
+        ^ self whiteColor.
     ].
     aKey == #selectionForegroundColor ifTrue:[
-	^ Color white.
+        ^ self whiteColor.
     ].
     aKey == #selectionBackgroundColor ifTrue:[
-	^ Color black.
+        ^ self blackColor.
     ].
 
     ^ nil.