hg/stx-libview: styles/st80.style@6a9b754ca6d3 (annotated)

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

author	Claus Gittinger <cg@exept.de>
	Sun, 02 Nov 1997 20:49:19 +0100
changeset 1948	6a9b754ca6d3
parent 1896	5128713473db
child 1951	5290a36652db
permissions	-rw-r--r--