author | Claus Gittinger <cg@exept.de> |
Sat, 21 Jan 2017 04:04:02 +0100 | |
changeset 7779 | 5931d9c57148 |
parent 3767 | 4ba3d02a2858 |
permissions | -rw-r--r-- |
122 | 1 |
; View defaultStyle:#normal |
2 |
; |
|
3 |
; the good-old normal 2D style - actually not bad to work |
|
2468
1a93026b436f
slightly increased miniScroller sizes
Claus Gittinger <cg@exept.de>
parents:
2257
diff
changeset
|
4 |
; with (if you are a purist). |
1a93026b436f
slightly increased miniScroller sizes
Claus Gittinger <cg@exept.de>
parents:
2257
diff
changeset
|
5 |
; Also the best to use on black&white displays |
122 | 6 |
; |
3767 | 7 |
; $Header: /cvs/stx/stx/libview/styles/normal.style,v 1.17 2002-11-18 08:41:03 penk Exp $ |
144 | 8 |
|
3767 | 9 |
comment 'plain good old 2D style.\No fancy decoration, but functional. Great for monochrome displays.' |
122 | 10 |
|
309 | 11 |
#if (Language == #german) or:[Language == #de] |
3767 | 12 |
comment 'Guter alter 2D Stil ohne Schnörkel & Schleifchen \Am besten für S/W Monitore' |
309 | 13 |
#endif |
498 | 14 |
#if (Language == #french) or:[Language == #fr] |
3767 | 15 |
comment 'plein style 2D\Bien pour un moniteur monochrome' |
498 | 16 |
#endif |
309 | 17 |
|
1440 | 18 |
is3D false |
19 |
name #normal |
|
122 | 20 |
|
1440 | 21 |
borderWidth 1 |
22 |
viewBackground Color white |
|
23 |
popupBorderWidth 1 |
|
122 | 24 |
|
1948 | 25 |
scrollBar.position #left |
26 |
scrollBar.spacing 0 |
|
27 |
scrollBar.buttonImageMargin 0 |
|
122 | 28 |
|
1948 | 29 |
scroller.viewBackground Color grey:50 |
30 |
scroller.thumbColor Color white |
|
31 |
scroller.thumbInset 1 |
|
32 |
scroller.thumbLevel 0 |
|
33 |
scroller.thumbFrameColor Color black |
|
122 | 34 |
|
2468
1a93026b436f
slightly increased miniScroller sizes
Claus Gittinger <cg@exept.de>
parents:
2257
diff
changeset
|
35 |
miniScroller.size 2.5 "/ millimeters |
1a93026b436f
slightly increased miniScroller sizes
Claus Gittinger <cg@exept.de>
parents:
2257
diff
changeset
|
36 |
; scrollBar.neverMini true |
1a93026b436f
slightly increased miniScroller sizes
Claus Gittinger <cg@exept.de>
parents:
2257
diff
changeset
|
37 |
|
1948 | 38 |
framedBox.3DFrame false |
122 | 39 |
|
2468
1a93026b436f
slightly increased miniScroller sizes
Claus Gittinger <cg@exept.de>
parents:
2257
diff
changeset
|
40 |
variablePanel.showHandle false |
1a93026b436f
slightly increased miniScroller sizes
Claus Gittinger <cg@exept.de>
parents:
2257
diff
changeset
|
41 |
|
122 | 42 |
; |
43 |
; take smaller fonts on small displays (VGA) |
|
44 |
; |
|
2991
918e2f570098
removed all direct references to Display (must use Screen current)
Stefan Vogel <sv@exept.de>
parents:
2478
diff
changeset
|
45 |
#if Screen current width == 640 |
122 | 46 |
; take smaller fonts on VGA screens |
47 |
font Font family:'courier' face:'medium' style:'roman' size:10 |
|
2478 | 48 |
selection.font Font family:'helvetica' face:'medium' style:'roman' size:10 |
49 |
label.font Font family:'helvetica' face:'medium' style:'roman' size:10 |
|
122 | 50 |
#else |
2478 | 51 |
selection.font Font family:'helvetica' face:'medium' style:'roman' size:12 |
52 |
label.font Font family:'helvetica' face:'medium' style:'roman' size:12 |
|
122 | 53 |
menuFont Font family:'helvetica' face:'bold' style:'roman' size:12 |
54 |
#endif |
|
2478 | 55 |
|
1951 | 56 |
selection.rightArrowStyle #solid |
57 |
selection.rightArrowLevel 0 |
|
122 | 58 |
|
1951 | 59 |
checkToggle.activeForegroundColor Color black |
60 |
checkToggle.activeBackgroundColor Color white |
|
61 |
||
2257 | 62 |
menu.buttonItemSpace 2 |
63 |
||
1951 | 64 |
radioButton.buttonStyle #round2D |
65 |
radioButton.activeLevel 0 |
|
66 |
radioButton.passiveLevel 0 |
|
1620
49812898bfe2
html defs for monochrome displays
Claus Gittinger <cg@exept.de>
parents:
1440
diff
changeset
|
67 |
|
2991
918e2f570098
removed all direct references to Display (must use Screen current)
Stefan Vogel <sv@exept.de>
parents:
2478
diff
changeset
|
68 |
#if Screen current hasGrayscales not |
1948 | 69 |
html.anchorUnderline true |
70 |
html.anchorForegroundColor Color black |
|
71 |
html.backgroundColor Color white |
|
72 |
html.activeAnchorForegroundColor Color black |
|
73 |
html.activeAnchorBackgroundColor =htmlBackgroundColor |
|
74 |
html.visitedAnchorForegroundColor Color black |
|
75 |
html.exampleAnchorForegroundColor Color black |
|
1620
49812898bfe2
html defs for monochrome displays
Claus Gittinger <cg@exept.de>
parents:
1440
diff
changeset
|
76 |
#endif |