#UI_ENHANCEMENT by cg
authorClaus Gittinger <cg@exept.de>
Tue, 27 Mar 2018 17:28:43 +0200
changeset 22658 a6fd8eb664d0
parent 22657 2aea3942f531
child 22659 1fe75ac33b44
#UI_ENHANCEMENT by cg class: UserPreferences comment/format in: #globalIdentifierColor
UserPreferences.st
--- 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"
 !