#UI_ENHANCEMENT by cg
authorClaus Gittinger <cg@exept.de>
Wed, 09 May 2018 16:00:19 +0200
changeset 18093 af2d8b0f8715
parent 18092 2cdcfe0b12e3
child 18094 ea60fb3ce08a
#UI_ENHANCEMENT by cg class: Tools::NavigatorModel class changed: #markForBeingInChangeList
Tools__NavigatorModel.st
--- a/Tools__NavigatorModel.st	Wed May 09 15:57:57 2018 +0200
+++ b/Tools__NavigatorModel.st	Wed May 09 16:00:19 2018 +0200
@@ -97,7 +97,8 @@
      the '*' is disturbing arithmetic messages (i.e. Integer >> *)
      therefore, it was changed to the '!!', which is nowhere implemented."
 
-    ^ ' !!'.
+    ^ ' ∆'.
+    "/ ^ ' !!'.
     "/ ^ ' °'.
     "/ ^ ' *'