styles/sgmotif.style
author Jan Vrany <jan.vrany@fit.cvut.cz>
Thu, 14 Sep 2017 09:28:09 +0100
branchjv
changeset 8182 c730140a0156
parent 6994 30bfbffa7a8d
permissions -rw-r--r--
X11: compile `GLXWorkstation` with OpenGL OpenGL compiler and linker flags are configured locally in `Make.proto` rather than in target config - this moves the configuration closer to the code. Currently all supported (and considered) platforms have OpenGL implementation. Later on one may use conditionals in makefile to deal exceptions.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4227
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     1
; View defaultStyle:#sgmotif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     2
;
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     3
; silicon graphics motif style
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     4
; (somwehat like motif, but with smooth edges and bells&whistles)
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     5
;
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     6
; $Header: /cvs/stx/stx/libview/styles/iris.style,v 1.30 1999/10/27 13:28:02 stefan Exp $
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     7
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     8
name                            #sgmotif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     9
6812
fa2ed06a6da5 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 6242
diff changeset
    10
comment                 'Silicon Craphics'' enhanced Motif style by Jan Vrany'
5447
64999b6becd9 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 4231
diff changeset
    11
previewFileName         'viewStyleSample_sgmotif.png'
4227
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    12
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    13
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    14
editorBG                        Color r:0.82 g:0.71 b:0.71
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    15
listBG                          Color r:0.56 g:0.67 b:0.69
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    16
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    17
#if Screen current hasGreyscales
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    18
viewGrey                        Color gray:85
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    19
veryLightGray                   (Color veryLightGray) exactOrNearestOn:(Screen current)
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    20
darkGray                        Color gray:74
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    21
mediumGray                      (Color gray:50) exactOrNearestOn:(Screen current)
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    22
#else
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    23
viewGrey                        Color white
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    24
lightColor                      Color grey:50
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    25
veryLightGray                   Color veryLightGray
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    26
darkGray                        Color darkGray
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    27
mediumGray                      Color gray:50
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    28
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    29
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    30
miniScroller.size               2.5     "/ in millimeters
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    31
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    32
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    33
is3D                            true
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    34
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    35
borderWidth                     0
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    36
viewBackground                  =viewGrey
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    37
4231
    38
#if (Screen current platformName = 'WIN32')
    39
popup.shadow                    false
    40
#else
6242
05df9e1c8ff1 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 5447
diff changeset
    41
; popup.shadow                    true
05df9e1c8ff1 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 5447
diff changeset
    42
popup.shadow                    false
4231
    43
#endif
4227
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    44
popup.level                     1
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    45
popup.borderWidth               1
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    46
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    47
font                             Font family:'courier' size:10
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    48
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    49
text.font                        Font family:'courier' size:12
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    50
text.lightColor                  =viewGrey
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    51
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    52
text.alternativeSelectionForegroundColor    Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    53
text.alternativeSelectionBackgroundColor    (Color redByte:150 "255" greenByte:255 blueByte:100 "204")
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    54
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    55
#if Screen current hasColors
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    56
textSelection.foregroundColor    Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    57
textSelection.backgroundColor    Color green
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    58
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    59
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    60
textCursor.foregroundColor       Color white
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    61
#if Screen current hasColors
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    62
textCursor.backgroundColor       Color red
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    63
#else
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    64
textCursor.backgroundColor       Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    65
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    66
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    67
#if (Screen current hasColors and:[Screen current depth > 4])
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    68
transcript.foregroundColor       Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    69
transcript.backgroundColor       =listBG
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    70
transcript.cursorForegroundColor =transcript.backgroundColor
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    71
transcript.cursorBackgroundColor Color green
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    72
#else
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    73
transcript.foregroundColor       Color white
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    74
transcript.backgroundColor       Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    75
transcript.cursorForegroundColor =transcript.backgroundColor
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    76
transcript.cursorBackgroundColor =transcript.foregroundColor
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    77
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    78
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    79
#if Screen current hasColors
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    80
; editField.backgroundColor           Color red:100 green:75 blue:75
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    81
; editField.backgroundColor           (Color scaledRed:16rB9B9 scaledGreen:16r8E8E scaledBlue:16r8E8E) exactOrNearestOn:(Screen current)
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    82
editField.backgroundColor           =editorBG
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    83
editField.selectionBackgroundColor  =viewGrey
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    84
editField.selectionForegroundColor  Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    85
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    86
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    87
#if (Screen current serverVendor = 'Silicon Graphics' and:[(Font family:'screen' face:'bold' style:'roman' size:16) existsOn:Screen current])
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    88
editField.font                   Font family:'screen' face:'bold' style:'roman' size:16
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    89
#else
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    90
editField.font                   Font family:'courier' face:'medium' style:'roman' size:12
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    91
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    92
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    93
#if (Screen current serverVendor = 'microsoft')
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    94
variableFont                     Font family:'helvetica' face:'medium' style:'roman' size:10
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    95
#else
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    96
variableFont                     Font family:'helvetica' face:'medium' style:'roman' size:12
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    97
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    98
selection.font                   =variableFont
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    99
label.font                       =variableFont
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   100
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   101
#if Screen current hasColors
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   102
toggle.showLamp                  true
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   103
toggle.lampColor                 Color yellow
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   104
toggle.lampWidthMM       1.8           "mm"
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   105
toggle.lampHeightMM      3.5           "mm"
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   106
toggle.backgroundColor          =darkGray
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   107
toggle.enteredBackgroundColor   =viewGrey
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   108
toggle.actoveBackgroundColor    =darkGray
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   109
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   110
checkToggle.checkColor           Color red
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   111
checkToggle.bitmapFile           'CheckOnColor.xpm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   112
checkToggle.labelOverMargin      true
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   113
checkToggle.activeBackgroundColor =viewGrey
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   114
radioButton.showLamp             true
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   115
radioButton.backgroundColor      =viewGrey
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   116
radioButton.lampWidthMM       1.8           "mm"
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   117
radioButton.lampHeightMM      3.5           "mm"
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   118
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   119
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   120
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   121
scroller.level                   -1
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   122
scroller.thumbLevel              3
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   123
scroller.thumbColor              =darkGray
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   124
#if Screen current hasGreyscales
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   125
scroller.thumbEnteredColor       =viewGrey
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   126
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   127
scroller.thumbEdgeStyle          #soft
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   128
scroller.NTallyMarks             3
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   129
scroller.tallyLevel              1
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   130
scroller.ghostColor              =mediumGray
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   131
scroller.ghostLevel              -1
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   132
#if Screen current hasGreyscales not
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   133
scroller.viewBackground          Color white
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   134
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   135
scroller.middleButtonJump        true
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   136
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   137
slider.NTallyMarks               1
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   138
slider.tallyLevel                1
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   139
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   140
button.edgeStyle                 #soft
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   141
button.activeLevel               -1
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   142
button.passiveLevel              3
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   143
button.backgroundColor           =darkGray
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   144
button.disabledForegroundColor   Color gray:25
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   145
#if Screen current hasGreyscales
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   146
button.enteredBackgroundColor    =viewGrey
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   147
button.activeBackgroundColor     nil
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   148
button.activeForegroundColor     Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   149
#else
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   150
button.enteredBackgroundColor    Color white
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   151
button.activeForegroundColor     Color white
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   152
button.activeBackgroundColor     Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   153
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   154
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   155
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   156
selection.backgroundColor       =listBG
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   157
text.backgroundColor             =editorBG
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   158
text.selectionBackgroundColor   =viewGrey
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   159
text.selectionForegroundColor   Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   160
scrollBar.position              #right
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   161
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   162
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   163
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   164
;#if (Screen current serverVendor = 'Silicon Graphics')
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   165
menu.font                        Font family:'helvetica' face:'bold' style:'oblique' size:10
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   166
;#else
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   167
;menu.font                        Font family:'helvetica' face:'bold' style:'roman' size:12
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   168
;#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   169
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   170
noteBook.halfLightColor          Color gray:87
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   171
noteBook.halfShadowColor         Color gray:55
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   172
noteBook.shadowColor             Color gray:37
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   173
noteBook.lightColor              Color gray:92
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   174
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   175
;noteBook.foregroundColor         Color red
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   176
noteBook.viewBackgroundColor     Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   177
noteBook.disabledForegroundColor Color gray:25
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   178
noteBook.canvasFrameLevel          2
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   179
noteBook.edgeStyle               nil
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   180
noteBook.borderWidth            5
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   181
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   182
menu.hilightBackgroundColor      Color white
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   183
menu.hilightForegroundColor      Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   184
menu.hilightLevel                1
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   185
; menuShowAccelerators            false
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   186
menu.checkColor                  Color red
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   187
menu.mainMenu.tabable            true
6994
30bfbffa7a8d *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 6812
diff changeset
   188
menu.extraMargin                    2
30bfbffa7a8d *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 6812
diff changeset
   189
menu.suppressSeparatingLinesInToolbar        true
4227
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   190
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   191
pullDownMenu.font                =menu.font
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   192
pullDownMenu.menuLevel           2
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   193
pullDownMenu.level               1
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   194
;; pullDownMenu.level               0
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   195
pullDownMenu.hilightLevel        2
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   196
pullDownMenu.edgeStyle           #soft
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   197
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   198
variablePanel.handleColor        =darkGray
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   199
#if Screen current hasGreyscales
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   200
variablePanel.handleEnteredColor =veryLightGray
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   201
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   202
variablePanel.barHeight          10
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   203
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   204
activeHelp.backgroundColor         Color yellow lightened
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   205
activeHelp.borderWidth             2
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   206
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   207
#if Screen current hasGrayscales not
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   208
html.anchorUnderline                true
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   209
html.anchorForegroundColor          Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   210
html.backgroundColor                Color white
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   211
html.activeAnchorForegroundColor    Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   212
html.activeAnchorBackgroundColor    =html.backgroundColor
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   213
html.visitedAnchorForegroundColor   Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   214
html.exampleAnchorForegroundColor   Color black
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   215
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   216
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   217
#if Screen current width > 800
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   218
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   219
viewSpacing                      3 "/ pixels
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   220
arrowButton.downFormFile         'ScrollDn.14.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   221
arrowButton.upFormFile           'ScrollUp.14.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   222
arrowButton.leftFormFile         'ScrollLt.14.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   223
arrowButton.rightFormFile        'ScrollRt.14.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   224
comboView.downFormFile           'ComboDn.14.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   225
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   226
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   227
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   228
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   229
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   230
#if Screen current width <= 800
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   231
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   232
viewSpacing                      2 "/ pixels
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   233
arrowButton.downFormFile         'ScrollDn.12.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   234
arrowButton.upFormFile           'ScrollUp.12.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   235
arrowButton.leftFormFile         'ScrollLt.12.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   236
arrowButton.rightFormFile        'ScrollRt.12.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   237
comboView.downFormFile           'ComboDn.12.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   238
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   239
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   240
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   241
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   242
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   243
#if Screen current width <= 640
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   244
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   245
arrowButton.downFormFile         'ScrollDn.8.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   246
arrowButton.upFormFile           'ScrollUp.8.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   247
arrowButton.leftFormFile         'ScrollLt.8.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   248
arrowButton.rightFormFile        'ScrollRt.8.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   249
comboView.downFormFile           'ComboDn.8.xbm'
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   250
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   251
#endif
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   252
75ee3736a096 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   253
comboView.button.activeLevel    -1