Launcher.st
changeset 1520 225142bb1ac2
parent 1517 b0160018704c
child 1530 418f854298aa
--- a/Launcher.st	Wed Apr 01 11:22:23 1998 +0200
+++ b/Launcher.st	Wed Apr 01 12:19:37 1998 +0200
@@ -2760,6 +2760,7 @@
       nextPutLine:'StandardSystemView takeFocusWhenMapped: ' , (StandardSystemView takeFocusWhenMapped storeString) , '.';
       nextPutLine:'MenuView showAcceleratorKeys: ' , (MenuView showAcceleratorKeys storeString) , '.';
       nextPutLine:'EditTextView st80Mode: ' , (EditTextView st80Mode storeString) , '.';
+      nextPutLine:'UserPreferences current syntaxColoring: ' , (UserPreferences current syntaxColoring storeString) , '.';
       nextPutLine:'Class tryLocalSourceFirst: ' , (Class tryLocalSourceFirst storeString) , '.'.
     (Exception emergencyHandler == Launcher notifyingEmergencyHandler) ifTrue:[
         s nextPutLine:'Exception emergencyHandler:(Launcher notifyingEmergencyHandler).'.
@@ -2813,7 +2814,7 @@
      Transcript topView application saveSettings
     "
 
-    "Modified: / 13.3.1998 / 22:02:39 / cg"
+    "Modified: / 1.4.1998 / 12:18:15 / cg"
 !
 
 sourceAndDebuggerSettings
@@ -4993,5 +4994,5 @@
 !Launcher class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libtool/Launcher.st,v 1.319 1998-03-31 18:05:02 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libtool/Launcher.st,v 1.320 1998-04-01 10:19:37 cg Exp $'
 ! !