Tools__ProjectList.st
changeset 19070 2ffa3745f954
parent 18695 195aa41e273d
--- a/Tools__ProjectList.st	Fri Aug 30 10:43:48 2019 +0200
+++ b/Tools__ProjectList.st	Fri Aug 30 10:43:56 2019 +0200
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 2000 by eXept Software AG
 	      All Rights Reserved
@@ -990,7 +988,7 @@
                     ]
                 ]
             ].
-            entry := entry,(info withColor:Color gray)
+            entry := entry,(info allGray)
         ].
         projectNameList add:entry.
     ].