styles/mswindows3.style
author Claus Gittinger <cg@exept.de>
Mon, 03 Nov 1997 17:43:15 +0100
changeset 1951 5290a36652db
parent 1948 6a9b754ca6d3
child 1959 d5ec4b54e970
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
;
1951
5290a36652db *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1948
diff changeset
     3
; $Header: /cvs/stx/stx/libview/styles/mswindows3.style,v 1.24 1997-11-03 16:43:03 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
153
claus
parents:
diff changeset
    15
#if Display hasGreyscales
1857
854b5ec3c7b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1853
diff changeset
    16
selectionBlue                   (Color red:0 green:0 blue:50) exactOrNearestOn:(Screen current)
1853
c3d87b4f6051 use nearest colors to avoid dithered view backgrounds
Claus Gittinger <cg@exept.de>
parents: 1834
diff changeset
    17
1857
854b5ec3c7b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1853
diff changeset
    18
; viewGrey                        (Color grey:67) exactOrNearestOn:(Screen current) 
854b5ec3c7b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1853
diff changeset
    19
viewGrey                        (Color grey:77) exactOrNearestOn:(Screen current)
854b5ec3c7b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1853
diff changeset
    20
; viewLightGrey                   (Color grey:80) exactOrNearestOn:(Screen current) 
854b5ec3c7b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1853
diff changeset
    21
viewLightGrey                   (Color grey:90) exactOrNearestOn:(Screen current) 
153
claus
parents:
diff changeset
    22
lightColor                      Color white
1857
854b5ec3c7b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1853
diff changeset
    23
halfShadowColor                 (Color grey:33) exactOrNearestOn:(Screen current)
854b5ec3c7b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1853
diff changeset
    24
; halfLightColor                  (Color grey:67) exactOrNearestOn:(Screen current)
1853
c3d87b4f6051 use nearest colors to avoid dithered view backgrounds
Claus Gittinger <cg@exept.de>
parents: 1834
diff changeset
    25
; halfLightColor                  Color white "/ grey:67
1673
4f82da68bb06 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1671
diff changeset
    26
halfLightColor                  =viewGrey
153
claus
parents:
diff changeset
    27
#else
1853
c3d87b4f6051 use nearest colors to avoid dithered view backgrounds
Claus Gittinger <cg@exept.de>
parents: 1834
diff changeset
    28
selectionBlue                   Color black
153
claus
parents:
diff changeset
    29
viewGrey                        Color white
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    30
viewLightGrey                   Color white 
153
claus
parents:
diff changeset
    31
lightColor                      Color grey:50
claus
parents:
diff changeset
    32
#endif
1853
c3d87b4f6051 use nearest colors to avoid dithered view backgrounds
Claus Gittinger <cg@exept.de>
parents: 1834
diff changeset
    33
153
claus
parents:
diff changeset
    34
shadowColor                     Color black
claus
parents:
diff changeset
    35
claus
parents:
diff changeset
    36
borderWidth                     0
claus
parents:
diff changeset
    37
viewBackground                  =viewGrey
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    38
popup.borderWidth                1     
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    39
popup.shadow                     false   
153
claus
parents:
diff changeset
    40
1447
968c4326f1b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1441
diff changeset
    41
font                            Font family:'helvetica' face:'medium' style:'roman' size:12
968c4326f1b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1441
diff changeset
    42
textFont                        Font family:'courier' face:'medium' style:'roman' size:12
968c4326f1b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1441
diff changeset
    43
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    44
textCursor.type                          #ibeam
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    45
textCursor.noFocusForegroundColor        Color grey
1447
968c4326f1b9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1441
diff changeset
    46
1624
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    47
#if Display hasGrayscales
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    48
; editField.backgroundColor                Color grey:90
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    49
editField.backgroundColor                Color white
1624
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    50
#else
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    51
editField.backgroundColor                Color white
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    52
editField.shadowColor                    Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    53
editField.lightColor                     Color grey:80
1624
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    54
#endif
1448
842f1d283a7b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1447
diff changeset
    55
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    56
checkToggle.activeLevel                  -2
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    57
checkToggle.passiveLevel                 -2
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    58
checkToggle.foregroundColor              Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    59
checkToggle.backgroundColor              Color white
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    60
checkToggle.activeForegroundColor        Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    61
checkToggle.activeBackgroundColor        Color white
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    62
checkToggle.bitmapFile                   'CheckOn14.xbm'
182
claus
parents: 173
diff changeset
    63
153
claus
parents:
diff changeset
    64
#if Display hasGreyscales
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    65
menu.hilightForegroundColor              Color white
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    66
menu.hilightBackgroundColor              =selectionBlue
153
claus
parents:
diff changeset
    67
#else
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    68
menu.hilightForegroundColor              Color white
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    69
menu.hilightBackgroundColor              Color black
153
claus
parents:
diff changeset
    70
#endif
claus
parents:
diff changeset
    71
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    72
pullDownMenu.separatingLines             false
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    73
pullDownMenu.level                       0
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    74
pullDownMenu.keepMenu                 true
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    75
; pullDownMenu.keepMenu                    true
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    76
pullDownMenu.toggleKeep                  true
153
claus
parents:
diff changeset
    77
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    78
selection.hilightForegroundColor         Color white
1624
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    79
#if Display hasGrayscales
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    80
selection.hilightBackgroundColor         =selectionBlue
1624
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    81
#else
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    82
selection.hilightBackgroundColor         Color black
1624
46064adf74a0 b&w display fixes
Claus Gittinger <cg@exept.de>
parents: 1501
diff changeset
    83
#endif
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    84
selection.hilightFrameColor              Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    85
selection.rightArrowLevel                0
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    86
selection.rightArrowStyle                #solid
153
claus
parents:
diff changeset
    87
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    88
variablePanel.handlePosition             #right 
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    89
variablePanel.handleStyle                #none 
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    90
variablePanel.trackingStyle              #dashedLine
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    91
variablePanel.barHeight                  4
153
claus
parents:
diff changeset
    92
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    93
scrollableView.level                     -1
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    94
; scrollableView.backgroundColor           =viewLightGrey
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    95
scrolledView.borderWidth                 0
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    96
scrolledView.level                       0
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    97
scrolledView.margin                      0
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    98
scrollBar.level                          0
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
    99
scrollBar.spacing                        0
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   100
scrollBar.hiding                         true
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   101
scrollBar.neverMini                      true
1441
67bc3d4cc6d2 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1440
diff changeset
   102
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   103
scrollBar.position                       #right
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   104
scrollBar.buttonPositions                #around     
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   105
scrollBar.viewBackground                 =viewLightGrey
153
claus
parents:
diff changeset
   106
claus
parents:
diff changeset
   107
#if Display hasGreyscales
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   108
scroller.viewBackground                  =viewLightGrey
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   109
scroller.thumbColor                      =viewGrey
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   110
scroller.thumbEdgeStyle                  #soft
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   111
scroller.thumbLightColor                 =viewGrey  
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   112
scroller.thumbHalfLightColor             Color white  
153
claus
parents:
diff changeset
   113
#else
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   114
scroller.viewBackground                  Color grey:87.5
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   115
scroller.thumbColor                      Color white
153
claus
parents:
diff changeset
   116
#endif
claus
parents:
diff changeset
   117
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   118
scroller.thumbLevel                      2
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   119
scroller.borderWidth                     1
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   120
scroller.level                           0
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   121
scroller.ghostFrameColor                 Color darkGrey
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   122
scroller.snapBack                        true
173
claus
parents: 153
diff changeset
   123
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   124
;button.activeLevel                      1
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   125
button.activeLevel                       -1 "/ 0
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   126
button.passiveLevel                      2
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   127
#if Display hasGreyscales
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   128
button.edgeStyle                         #soft
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   129
; button.activeForegroundColor           Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   130
; button.activeBackgroundColor           Color white
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   131
; button.enteredBackgroundColor          Color lightGrey
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   132
button.halfShadowColor                   =viewGrey darkened exactOrNearestOn:(Screen current)
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   133
button.halfLightColor                    Color white
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   134
#else
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   135
button.activeBackgroundColor             Color black
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   136
button.activeForegroundColor             Color white
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   137
; button.enteredBackgroundColor            Color grey:87.5
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   138
#endif
173
claus
parents: 153
diff changeset
   139
1951
5290a36652db *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1948
diff changeset
   140
radioButton.style                       #round3D
5290a36652db *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1948
diff changeset
   141
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   142
; arrowButton.upFormFile                   'ScrollUp.w95.14.xbm'.
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   143
; arrowButton.downFormFile                 'ScrollDn.w95.14.xbm'.
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   144
; arrowButton.leftFormFile                 'ScrollLt.w95.14.xbm'.
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   145
; arrowButton.rightFormFile                'ScrollRt.w95.14.xbm'.
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   146
arrowButton.upFormFile                   'ScrollUp.w95.11.xbm'.
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   147
arrowButton.downFormFile                 'ScrollDn.w95.11.xbm'.
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   148
arrowButton.leftFormFile                 'ScrollLt.w95.11.xbm'.
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   149
arrowButton.rightFormFile                'ScrollRt.w95.11.xbm'.
1670
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   150
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   151
selection.rightArrowForm            Image extent:16@12 depth:1 \
1670
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   152
				       bits:#[                       \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   153
					      2r00000000 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   154
					      2r00000000 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   155
					      2r00000000 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
					      2r00000011 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   158
					      2r00000011 2r10000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   159
					      2r00000011 2r11000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   160
					      2r00000011 2r10000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   161
					      2r00000011 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   162
					      2r00000010 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   163
					      2r00000000 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   164
					      2r00000000 2r00000000  \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   165
					     ] \
61b8dd2f66b3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1624
diff changeset
   166
					pad:8
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   167
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   168
comboView.level                          -1
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   169
comboView.downFormFile                   'ScrollDn.w95.11.xbm'.
1501
a04321bc0b5f *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1485
diff changeset
   170
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   171
selection.font                           Font family:'helvetica' face:'medium' style:'roman' size:12
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   172
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   173
html.backgroundColor                     Color white
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   174
html.anchorForegroundColor               Color green darkened
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   175
html.visitedAnchorForegroundColor        =html.anchorForegroundColor darkened darkened
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   176
html.anchorUnderlines                    true
1440
114c32a3d0ea *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
   177
1948
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   178
activeHelp.backgroundColor               Color yellow lightened
6a9b754ca6d3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 1857
diff changeset
   179
activeHelp.borderWidth                   2