styles/mswindows3.style
author Claus Gittinger <cg@exept.de>
Mon, 28 Jul 1997 17:08:06 +0200
changeset 1834 f881d54e2aae
parent 1683 a4c1b272d899
child 1853 c3d87b4f6051
permissions -rw-r--r--
*** empty log message ***
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
153
claus
parents:
diff changeset
     1
; View defaultStyle:#win95 
claus
parents:
diff changeset
     2
;
1834
f881d54e2aae *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1683
diff changeset
     3
; $Header: /cvs/stx/stx/libview/styles/mswindows3.style,v 1.20 1997-07-28 15:08:06 cg Exp $
153
claus
parents:
diff changeset
     4
1457
eeae19754e49 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1456
diff changeset
     5
comment  'win95 lookalike - unfinished'
153
claus
parents:
diff changeset
     6
309
8cc4d0e7b41b germanism
Claus Gittinger <cg@exept.de>
parents: 183
diff changeset
     7
#if (Language == #german) or:[Language == #de]
1457
eeae19754e49 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1456
diff changeset
     8
comment  'MS Windows95 Variante\unvollendet'
309
8cc4d0e7b41b germanism
Claus Gittinger <cg@exept.de>
parents: 183
diff changeset
     9
#endif
8cc4d0e7b41b germanism
Claus Gittinger <cg@exept.de>
parents: 183
diff changeset
    10
153
claus
parents:
diff changeset
    11
is3D                            true
claus
parents:
diff changeset
    12
name                            #win95 
claus
parents:
diff changeset
    13
1670
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
    14
selectionBlue                   Color red:0 green:0 blue:50
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
    15
153
claus
parents:
diff changeset
    16
#if Display hasGreyscales
1670
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
    17
; viewGrey                        Color grey:67 
1671
cbe686406c3a *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1670
diff changeset
    18
viewGrey                        Color grey:77
1670
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
    19
; viewLightGrey                   Color grey:80 
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
    20
viewLightGrey                   Color grey:90 
153
claus
parents:
diff changeset
    21
lightColor                      Color white
claus
parents:
diff changeset
    22
halfShadowColor                 Color grey:33
claus
parents:
diff changeset
    23
halfLightColor                  Color white "/ grey:67
1673
4f82da68bb06 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1671
diff changeset
    24
halfLightColor                  =viewGrey
153
claus
parents:
diff changeset
    25
#else
claus
parents:
diff changeset
    26
viewGrey                        Color white
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    27
viewLightGrey                   Color white 
153
claus
parents:
diff changeset
    28
lightColor                      Color grey:50
claus
parents:
diff changeset
    29
#endif
claus
parents:
diff changeset
    30
shadowColor                     Color black
claus
parents:
diff changeset
    31
claus
parents:
diff changeset
    32
borderWidth                     0
claus
parents:
diff changeset
    33
viewBackground                  =viewGrey
claus
parents:
diff changeset
    34
popupBorderWidth                1     
1673
4f82da68bb06 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1671
diff changeset
    35
popupShadow                     false   
153
claus
parents:
diff changeset
    36
1447
968c4326f1b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1441
diff changeset
    37
font                            Font family:'helvetica' face:'medium' style:'roman' size:12
968c4326f1b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1441
diff changeset
    38
textFont                        Font family:'courier' face:'medium' style:'roman' size:12
968c4326f1b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1441
diff changeset
    39
1485
d04be3c65660 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1457
diff changeset
    40
textCursorType                          #ibeam
d04be3c65660 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1457
diff changeset
    41
textCursorNoFocusForegroundColor        Color grey
1447
968c4326f1b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1441
diff changeset
    42
1624
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    43
#if Display hasGrayscales
1670
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
    44
; editFieldBackgroundColor                Color grey:90
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
    45
editFieldBackgroundColor                Color white
1624
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    46
#else
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    47
editFieldBackgroundColor                Color white
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    48
editFieldShadowColor                    Color black
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    49
editFieldLightColor                     Color grey:80
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    50
#endif
1448
842f1d283a7b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1447
diff changeset
    51
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    52
checkToggleActiveLevel                  -2
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    53
checkTogglePassiveLevel                 -2
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    54
checkToggleForegroundColor              Color black
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    55
checkToggleBackgroundColor              Color white
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    56
checkToggleActiveForegroundColor        Color black
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    57
checkToggleActiveBackgroundColor        Color white
1447
968c4326f1b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1441
diff changeset
    58
checkToggleBitmapFile                   'CheckOn14.xbm'
182
claus
parents: 173
diff changeset
    59
153
claus
parents:
diff changeset
    60
#if Display hasGreyscales
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    61
menuHilightForegroundColor              Color white
1670
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
    62
menuHilightBackgroundColor              =selectionBlue
153
claus
parents:
diff changeset
    63
#else
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    64
menuHilightForegroundColor              Color white
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    65
menuHilightBackgroundColor              Color black
153
claus
parents:
diff changeset
    66
#endif
claus
parents:
diff changeset
    67
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    68
pullDownMenuSeparatingLines             false
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    69
pullDownMenuLevel                       0
1834
f881d54e2aae *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1683
diff changeset
    70
pullDownMenuKeepMenu                 true
1683
a4c1b272d899 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1673
diff changeset
    71
; pullDownMenuKeepMenu                    true
a4c1b272d899 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1673
diff changeset
    72
pullDownMenuToggleKeep                  true
153
claus
parents:
diff changeset
    73
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    74
selectionHilightForegroundColor         Color white
1624
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    75
#if Display hasGrayscales
1670
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
    76
selectionHilightBackgroundColor         =selectionBlue
1624
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    77
#else
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    78
selectionHilightBackgroundColor         Color black
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    79
#endif
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    80
selectionHilightFrameColor              Color black
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    81
selectionRightArrowLevel                0
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    82
selectionRightArrowStyle                #solid
153
claus
parents:
diff changeset
    83
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    84
variablePanelHandlePosition             #right 
1456
28d61887ade5 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1450
diff changeset
    85
variablePanelHandleStyle                #none 
1450
7466c2d60558 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1448
diff changeset
    86
variablePanelTrackingStyle              #dashedLine
1673
4f82da68bb06 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1671
diff changeset
    87
variablePanelBarHeight                  4
153
claus
parents:
diff changeset
    88
1441
67bc3d4cc6d2 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1440
diff changeset
    89
scrollableViewLevel                     -1
67bc3d4cc6d2 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1440
diff changeset
    90
; scrollableViewBackgroundColor           =viewLightGrey
67bc3d4cc6d2 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1440
diff changeset
    91
scrolledViewBorderWidth                 0
67bc3d4cc6d2 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1440
diff changeset
    92
scrolledViewLevel                       0
67bc3d4cc6d2 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1440
diff changeset
    93
scrolledViewMargin                      0
67bc3d4cc6d2 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1440
diff changeset
    94
scrollBarLevel                          0
67bc3d4cc6d2 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1440
diff changeset
    95
scrollBarSpacing                        0
1447
968c4326f1b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1441
diff changeset
    96
scrollBarHiding                         true
1670
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
    97
scrollBarNeverMini                      true
1441
67bc3d4cc6d2 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1440
diff changeset
    98
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    99
scrollBarPosition                       #right
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   100
scrollBarButtonPositions                #around     
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   101
scrollBarViewBackground                 =viewLightGrey
153
claus
parents:
diff changeset
   102
claus
parents:
diff changeset
   103
#if Display hasGreyscales
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   104
scrollerViewBackground                  =viewLightGrey
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   105
scrollerThumbColor                      =viewGrey
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   106
scrollerThumbEdgeStyle                  #soft
1673
4f82da68bb06 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1671
diff changeset
   107
scrollerThumbLightColor                 =viewGrey  
4f82da68bb06 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1671
diff changeset
   108
scrollerThumbHalfLightColor             Color white  
153
claus
parents:
diff changeset
   109
#else
1624
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
   110
scrollerViewBackground                  Color grey:87.5
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   111
scrollerThumbColor                      Color white
153
claus
parents:
diff changeset
   112
#endif
claus
parents:
diff changeset
   113
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   114
scrollerThumbLevel                      2
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   115
scrollerBorderWidth                     1
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   116
scrollerLevel                           0
1457
eeae19754e49 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1456
diff changeset
   117
scrollerGhostFrameColor                 Color darkGrey
eeae19754e49 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1456
diff changeset
   118
scrollerSnapBack                        true
173
claus
parents: 153
diff changeset
   119
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   120
;buttonActiveLevel                      1
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   121
buttonActiveLevel                       -1 "/ 0
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   122
buttonPassiveLevel                      2
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   123
#if Display hasGreyscales
1624
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
   124
buttonEdgeStyle                         #soft
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   125
; buttonActiveForegroundColor           Color black
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   126
; buttonActiveBackgroundColor           Color white
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   127
; buttonEnteredBackgroundColor          Color lightGrey
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   128
buttonHalfShadowColor                   =viewGrey darkened
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   129
buttonHalfLightColor                    Color white
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   130
#else
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   131
buttonActiveBackgroundColor             Color black
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   132
buttonActiveForegroundColor             Color white
1624
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
   133
; buttonEnteredBackgroundColor            Color grey:87.5
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   134
#endif
173
claus
parents: 153
diff changeset
   135
1670
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   136
; arrowButtonUpFormFile                   'ScrollUp.w95.14.xbm'.
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   137
; arrowButtonDownFormFile                 'ScrollDn.w95.14.xbm'.
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   138
; arrowButtonLeftFormFile                 'ScrollLt.w95.14.xbm'.
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   139
; arrowButtonRightFormFile                'ScrollRt.w95.14.xbm'.
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   140
arrowButtonUpFormFile                   'ScrollUp.w95.11.xbm'.
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   141
arrowButtonDownFormFile                 'ScrollDn.w95.11.xbm'.
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   142
arrowButtonLeftFormFile                 'ScrollLt.w95.11.xbm'.
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   143
arrowButtonRightFormFile                'ScrollRt.w95.11.xbm'.
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   144
1673
4f82da68bb06 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1671
diff changeset
   145
selectionRightArrowForm            Image extent:16@12 depth:1 \
1670
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   146
				       bits:#[                       \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   147
					      2r00000000 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   148
					      2r00000000 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   149
					      2r00000000 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   150
					      2r00000010 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   151
					      2r00000011 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   152
					      2r00000011 2r10000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   153
					      2r00000011 2r11000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   154
					      2r00000011 2r10000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   155
					      2r00000011 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   156
					      2r00000010 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   157
					      2r00000000 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   158
					      2r00000000 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   159
					     ] \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   160
					pad:8
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   161
1501
a04321bc0b5f *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1485
diff changeset
   162
comboViewLevel                          -1
1683
a4c1b272d899 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1673
diff changeset
   163
comboViewDownFormFile                   'ScrollDn.w95.11.xbm'.
1501
a04321bc0b5f *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1485
diff changeset
   164
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   165
selectionFont                           Font family:'helvetica' face:'medium' style:'roman' size:12
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   166
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   167
htmlBackgroundColor                     Color white
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   168
htmlAnchorForegroundColor               Color green darkened
1448
842f1d283a7b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1447
diff changeset
   169
htmlVisitedAnchorForegroundColor        =htmlAnchorForegroundColor darkened darkened
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   170
htmlAnchorUnderlines                    true
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   171
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   172
activeHelpBackgroundColor               Color yellow lightened
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   173
activeHelpBorderWidth                   2