UserPreferences.st
changeset 22658 a6fd8eb664d0
parent 22510 16f285076355
child 22899 468afe6fd785
--- a/UserPreferences.st	Mon Mar 26 17:37:16 2018 +0200
+++ b/UserPreferences.st	Tue Mar 27 17:28:43 2018 +0200
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 1998 by eXept Software AG
 	      All Rights Reserved
@@ -878,6 +876,8 @@
     ^ modified ? false
 ! !
 
+
+
 !UserPreferences methodsFor:'accessing-locale'!
 
 dateInputFormat
@@ -3757,6 +3757,10 @@
 
     ^ self at:#globalIdentifierColor ifAbsent:[self identifierColor]
 
+    "
+     self current globalIdentifierColor
+    "
+
     "Created: / 31.3.1998 / 15:18:49 / cg"
     "Modified: / 1.4.1998 / 13:20:47 / cg"
 !