author | Claus Gittinger <cg@exept.de> |
Thu, 25 Mar 1999 00:24:13 +0100 | |
changeset 2539 | 05c647d68efe |
parent 2468 | 1a93026b436f |
child 2568 | c0a4681674e2 |
permissions | -rw-r--r-- |
122 | 1 |
; View defaultStyle:#st80 |
2 |
; |
|
3 |
; simulation of the old st80 style - looks somewhat like os2 |
|
4 |
; |
|
2539
05c647d68efe
smaller fonts on small displays
Claus Gittinger <cg@exept.de>
parents:
2468
diff
changeset
|
5 |
; $Header: /cvs/stx/stx/libview/styles/st80.style,v 1.23 1999-03-24 23:24:13 cg Exp $ |
144 | 6 |
|
498 | 7 |
comment 'old `ST80'' 3D look alike' |
122 | 8 |
|
309 | 9 |
#if (Language == #german) or:[Language == #de] |
498 | 10 |
comment 'An früheres `ST-80'' angelehnt' |
11 |
#endif |
|
12 |
#if (Language == #french) or:[Language == #fr] |
|
13 |
comment 'Comme `ST-80''' |
|
309 | 14 |
#endif |
15 |
||
122 | 16 |
name #st80 |
17 |
||
18 |
; |
|
19 |
; take a smaller font on VGA displays |
|
20 |
; |
|
1450 | 21 |
|
2539
05c647d68efe
smaller fonts on small displays
Claus Gittinger <cg@exept.de>
parents:
2468
diff
changeset
|
22 |
#if Display width <= 800 |
122 | 23 |
; take smaller fonts on VGA screens |
24 |
font Font family:'courier' face:'medium' style:'roman' size:10 |
|
1450 | 25 |
variableBoldFont Font family:'helvetica' face:'medium' style:'roman' size:10 |
961 | 26 |
boldFont Font family:'helvetica' face:'bold' style:'roman' size:10 |
122 | 27 |
#else |
1450 | 28 |
variableFont Font family:'helvetica' face:'medium' style:'roman' size:12 |
29 |
variableBoldFont Font family:'helvetica' face:'bold' style:'roman' size:12 |
|
122 | 30 |
#endif |
31 |
||
1450 | 32 |
selectionFont =variableFont |
33 |
labelFont =selectionFont |
|
34 |
||
122 | 35 |
#if Display hasGreyscales |
688 | 36 |
is3D true |
37 |
borderWidth 0 |
|
38 |
viewGrey Color grey:80 |
|
1948 | 39 |
selection.hilightForegroundColor Color black |
40 |
selection.hilightBackgroundColor Color grey:60 |
|
41 |
selection.hilightFrameColor Color black |
|
122 | 42 |
#else |
688 | 43 |
viewGrey Color white |
44 |
lightColor Color grey:50 |
|
122 | 45 |
borderWidth 1 |
46 |
#endif |
|
47 |
||
1440 | 48 |
viewBackground =viewGrey |
122 | 49 |
|
1948 | 50 |
variablePanel.barHeightMM 2 |
1440 | 51 |
|
1948 | 52 |
scrolledView.level 1 |
53 |
scrolledView.margin 1 |
|
54 |
||
55 |
scrollBar.position #right |
|
56 |
; scrollBar.hiding true "/ automatic hiding of useless scrollBars |
|
122 | 57 |
|
1948 | 58 |
scrollBar.buttonPositions #around |
59 |
scrollBar.level 0 |
|
60 |
scrollBar.elementSpacing 0 |
|
61 |
scrollBar.spacing 0 |
|
62 |
; scrollBar.neverMini true |
|
63 |
scrollBar.buttonImageMargin 0 |
|
122 | 64 |
|
1948 | 65 |
scroller.level 1 |
66 |
scroller.viewBackground =viewGrey |
|
67 |
scroller.thumbColor Color black |
|
68 |
scroller.thumbFrameColor nil |
|
69 |
scroller.thumbLevel 0 |
|
70 |
scroller.thumbInset 3 |
|
71 |
scroller.middleButtonJump true "middle button jumps to click position" |
|
2468
1a93026b436f
slightly increased miniScroller sizes
Claus Gittinger <cg@exept.de>
parents:
1959
diff
changeset
|
72 |
miniScroller.size 2.5 "/ millimeter |
122 | 73 |
|
1948 | 74 |
textCursor.type #solidCaret |
75 |
textCursor.backgroundColor Color black |
|
76 |
textCursor.noFocusForegroundColor Color grey |
|
274 | 77 |
|
78 |
#if Display hasColors |
|
1952 | 79 |
#text.selectionBackgroundColor Color green |
80 |
#text.selectionForegroundColor Color black |
|
81 |
text.selectionBackgroundColor Color grey:60 |
|
1948 | 82 |
text.selectionForegroundColor Color black |
274 | 83 |
#else |
84 |
# if Display hasGreyscales |
|
1948 | 85 |
text.selectionBackgroundColor =viewGrey "Color grey" |
86 |
text.selectionForegroundColor Color black |
|
274 | 87 |
# endif |
122 | 88 |
#endif |
1952 | 89 |
text.st80Selections true |
90 |
||
122 | 91 |
|
1948 | 92 |
popup.borderWidth 1 |
122 | 93 |
|
1948 | 94 |
arrowButton.style #st80 |
95 |
arrowButton.activeForegroundColor Color white |
|
96 |
; button.activeForegroundColor Color white |
|
97 |
button.activeBackgroundColor Color grey |
|
122 | 98 |
|
1951 | 99 |
radioButton.style #round2D |
100 |
||
1948 | 101 |
menu.font =variableBoldFont |
102 |
menu.viewBackground Color white |
|
103 |
menu.foregroundColor Color black |
|
104 |
menu.backgroundColor Color white |
|
105 |
menu.hilightForegroundColor =menu.backgroundColor |
|
106 |
menu.hilightBackgroundColor =menu.foregroundColor |
|
107 |
menu.highlightLevel 0 |
|
108 |
menu.separatingLineLevel 0 |
|
109 |
menu.separatingLineInset 0 |
|
122 | 110 |
|
1948 | 111 |
pullDownMenu.font =variableBoldFont |
112 |
pullDownMenu.viewBackground =viewGrey |
|
113 |
pullDownMenu.level 0 |
|
114 |
pullDownMenu.hilightLevel -1 |
|
115 |
pullDownMenu.hilightBackgroundColor Color grey |
|
116 |
pullDownMenu.separatingLines false |
|
961 | 117 |
|
1620
49812898bfe2
html defs for monochrome displays
Claus Gittinger <cg@exept.de>
parents:
1450
diff
changeset
|
118 |
#if Display hasGrayscales not |
1948 | 119 |
html.anchorUnderline true |
120 |
html.anchorForegroundColor Color black |
|
121 |
html.backgroundColor Color white |
|
122 |
html.activeAnchorForegroundColor Color black |
|
123 |
html.activeAnchorBackgroundColor =html.backgroundColor |
|
124 |
html.visitedAnchorForegroundColor Color black |
|
125 |
html.exampleAnchorForegroundColor Color black |
|
1620
49812898bfe2
html defs for monochrome displays
Claus Gittinger <cg@exept.de>
parents:
1450
diff
changeset
|
126 |
#endif |
49812898bfe2
html defs for monochrome displays
Claus Gittinger <cg@exept.de>
parents:
1450
diff
changeset
|
127 |
|
1896 | 128 |
TextView.st80Selections true |
129 |