styles/mswindows95_dolphin.style
author mawalch
Thu, 09 Nov 2017 09:17:41 +0100
changeset 8215 a7e0abee3cb8
parent 3568 37e3b76c2c85
permissions -rw-r--r--
#DOCUMENTATION by mawalch class: Event class comment/format in: #documentation
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3566
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     1
; View defaultStyle:#mswindows95_dolphin 
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     2
;
3568
Claus Gittinger <cg@exept.de>
parents: 3566
diff changeset
     3
; $Header: /cvs/stx/stx/libview/styles/mswindows95_dolphin.style,v 1.2 2001-12-04 14:54:44 cg Exp $
3566
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     4
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     5
#include 'mswindows95.style'
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     6
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     7
comment  'win95 lookalike with dolphin colors'
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     8
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     9
"/ debugView.viewBackgroundColor        Color red lightened
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    10
codeView.backgroundColor             Color yellow lightened lightened lightened lightened
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    11
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    12
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    13
!UserPreferences default at:#methodSelectorColor put: Color blue.
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    14
!UserPreferences default at:#selectorColor       put: Color blue.
3568
Claus Gittinger <cg@exept.de>
parents: 3566
diff changeset
    15
!UserPreferences default at:#selectorEmphasis    put: #normal.
3566
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    16
!UserPreferences default at:#commentColor        put: Color green darkened darkened.
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    17
!UserPreferences default at:#constantColor       put: (Color red:100 green:0 blue:100) darkened.
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    18
!UserPreferences default at:#symbolColor         put: (Color red:100 green:0 blue:100) darkened.
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    19
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    20
!UserPreferences current at:#methodSelectorColor put: (UserPreferences default at:#methodSelectorColor).
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    21
!UserPreferences current at:#selectorColor       put: (UserPreferences default at:#selectorColor).
3568
Claus Gittinger <cg@exept.de>
parents: 3566
diff changeset
    22
!UserPreferences current at:#selectorEmphasis    put: (UserPreferences default at:#selectorEmphasis).
3566
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    23
!UserPreferences current at:#commentColor        put: (UserPreferences default at:#commentColor).
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    24
!UserPreferences current at:#constantColor       put: (UserPreferences default at:#constantColor).
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    25
!UserPreferences current at:#symbolColor         put: (UserPreferences default at:#symbolColor).