2 ; |
2 ; |
3 ; somewhat like SUN openwindows - however, the scrollbars |
3 ; somewhat like SUN openwindows - however, the scrollbars |
4 ; are not openwin-like (and since SUN dropped openwin, no |
4 ; are not openwin-like (and since SUN dropped openwin, no |
5 ; effort will probably ever be spent on changing this). |
5 ; effort will probably ever be spent on changing this). |
6 ; |
6 ; |
7 ; $Header: /cvs/stx/stx/libview/styles/openwin.style,v 1.14 1997-08-13 13:51:30 cg Exp $ |
7 ; $Header: /cvs/stx/stx/libview/styles/openwin.style,v 1.15 1997-11-02 19:49:10 cg Exp $ |
8 ; |
8 ; |
9 |
9 |
10 comment 'SUN openwin look alike\unfinished (especially scrollbars)' |
10 comment 'SUN openwin look alike\unfinished (especially scrollbars)' |
11 |
11 |
12 #if (Language == #german) or:[Language == #de] |
12 #if (Language == #german) or:[Language == #de] |
31 lightColor Color grey:50 |
31 lightColor Color grey:50 |
32 darkerGrey Color grey:67 |
32 darkerGrey Color grey:67 |
33 #endif |
33 #endif |
34 |
34 |
35 borderWidth 0 |
35 borderWidth 0 |
36 popupBorderWidth 1 |
36 popup.borderWidth 1 |
37 |
37 |
38 viewBackground =viewGrey |
38 viewBackground =viewGrey |
39 |
39 |
40 textCursorType #bigSolidCaret |
40 textCursor.type #bigSolidCaret |
41 textCursorNoFocusForegroundColor Color grey |
41 textCursor.noFocusForegroundColor Color grey |
42 |
42 |
43 scrolledViewLevel 0 |
43 scrolledView.level 0 |
44 scrollableViewLevel 0 |
44 scrollableView.level 0 |
45 scrolledViewBorderWidth 1 |
45 scrolledView.borderWidth 1 |
46 |
46 |
47 scrollerLevel -1 |
47 scroller.level -1 |
48 scrollerThumbLevel 1 |
48 scroller.thumbLevel 1 |
49 scrollerThumbColor =viewGrey |
49 scroller.thumbColor =viewGrey |
50 #if Display hasGreyscales |
50 #if Display hasGreyscales |
51 scrollerViewBackground =darkerGrey |
51 scroller.viewBackground =darkerGrey |
52 #else |
52 #else |
53 scrollerViewBackground Color white |
53 scroller.viewBackground Color white |
54 #endif |
54 #endif |
55 scrollBarPosition #right |
55 scrollBar.position #right |
56 |
56 |
57 #if Display hasGreyscales |
57 #if Display hasGreyscales |
58 buttonActiveForegroundColor Color black |
58 button.activeForegroundColor Color black |
59 buttonActiveBackgroundColor =darkerGrey |
59 button.activeBackgroundColor =darkerGrey |
60 #else |
60 #else |
61 buttonActiveForegroundColor Color white |
61 button.activeForegroundColor Color white |
62 buttonActiveBackgroundColor Color black |
62 button.activeBackgroundColor Color black |
63 #endif |
63 #endif |
64 |
64 |
65 menuSeparatingLineLevel 1 |
65 menu.separatingLineLevel 1 |
66 menuHilightStyle #openwin |
66 menu.hilightStyle #openwin |
67 #if Display hasGreyscales |
67 #if Display hasGreyscales |
68 menuHilightLevel -1 |
68 menu.hilightLevel -1 |
69 menuHilightBackgroundColor =darkerGrey |
69 menu.hilightBackgroundColor =darkerGrey |
70 #else |
70 #else |
71 menuHilightBackgroundColor Color black |
71 menu.hilightBackgroundColor Color black |
72 menuHilightForegroundColor Color white |
72 menu.hilightForegroundColor Color white |
73 menuHilightLevel 0 |
73 menu.hilightLevel 0 |
74 #endif |
74 #endif |
75 |
75 |
76 pullDownMenuKeepMenu true |
76 pullDownMenu.keepMenu true |
77 |
77 |
78 pullDownMenuHilightForegroundColor Color black |
78 pullDownMenu.hilightForegroundColor Color black |
79 #if Display hasGreyscales not |
79 #if Display hasGreyscales not |
80 pullDownMenuHilightBackgroundColor Color grey:87 |
80 pullDownMenu.hilightBackgroundColor Color grey:87 |
81 pullDownMenuHilightLevel 0 |
81 pullDownMenu.hilightLevel 0 |
82 pullDownMenuLevel 0 |
82 pullDownMenu.level 0 |
83 pullDownMenuFont Font family:'lucida' face:'bold' style:'roman' size:12 |
83 pullDownMenu.font Font family:'lucida' face:'bold' style:'roman' size:12 |
84 #endif |
84 #endif |
85 |
85 |
86 selectionRightArrowLevel -1 |
86 selection.rightArrowLevel -1 |
87 selectionHilightLevel -1 |
87 selection.hilightLevel -1 |
88 #if Display hasGreyscales |
88 #if Display hasGreyscales |
89 selectionHilightBackgroundColor =darkerGrey |
89 selection.hilightBackgroundColor =darkerGrey |
90 #endif |
90 #endif |
91 |
91 |
92 #if Display hasGrayscales not |
92 #if Display hasGrayscales not |
93 htmlAnchorUnderline true |
93 html.anchorUnderline true |
94 htmlAnchorForegroundColor Color black |
94 html.anchorForegroundColor Color black |
95 htmlBackgroundColor Color white |
95 html.backgroundColor Color white |
96 htmlActiveAnchorForegroundColor Color black |
96 html.activeAnchorForegroundColor Color black |
97 htmlActiveAnchorBackgroundColor =htmlBackgroundColor |
97 html.activeAnchorBackgroundColor =htmlBackgroundColor |
98 htmlVisitedAnchorForegroundColor Color black |
98 html.visitedAnchorForegroundColor Color black |
99 htmlExampleAnchorForegroundColor Color black |
99 html.exampleAnchorForegroundColor Color black |
100 #endif |
100 #endif |
101 |
101 |