styles/mswindows95_dolphin.style
changeset 3566 5236b9274250
child 3568 37e3b76c2c85
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/styles/mswindows95_dolphin.style	Tue Dec 04 14:21:55 2001 +0100
@@ -0,0 +1,23 @@
+; View defaultStyle:#mswindows95_dolphin 
+;
+; $Header: /cvs/stx/stx/libview/styles/mswindows95_dolphin.style,v 1.1 2001-12-04 13:21:55 cg Exp $
+
+#include 'mswindows95.style'
+
+comment  'win95 lookalike with dolphin colors'
+
+"/ debugView.viewBackgroundColor        Color red lightened
+codeView.backgroundColor             Color yellow lightened lightened lightened lightened
+
+
+!UserPreferences default at:#methodSelectorColor put: Color blue.
+!UserPreferences default at:#selectorColor       put: Color blue.
+!UserPreferences default at:#commentColor        put: Color green darkened darkened.
+!UserPreferences default at:#constantColor       put: (Color red:100 green:0 blue:100) darkened.
+!UserPreferences default at:#symbolColor         put: (Color red:100 green:0 blue:100) darkened.
+
+!UserPreferences current at:#methodSelectorColor put: (UserPreferences default at:#methodSelectorColor).
+!UserPreferences current at:#selectorColor       put: (UserPreferences default at:#selectorColor).
+!UserPreferences current at:#commentColor        put: (UserPreferences default at:#commentColor).
+!UserPreferences current at:#constantColor       put: (UserPreferences default at:#constantColor).
+!UserPreferences current at:#symbolColor         put: (UserPreferences default at:#symbolColor).