hg/stx-libview: styles/normal.style@5506d148b369 (annotated)

122 c84d8d1e8d48 Initial revision claus parents: diff changeset	1	; View defaultStyle:#normal
c84d8d1e8d48 Initial revision claus parents: diff changeset	2	;
c84d8d1e8d48 Initial revision claus parents: diff changeset	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 c84d8d1e8d48 Initial revision claus parents: diff changeset	6	;
3767 4ba3d02a2858 * empty log message * penk parents: 2991 diff changeset	7	; $Header: /cvs/stx/stx/libview/styles/normal.style,v 1.17 2002-11-18 08:41:03 penk Exp $
144 cf645a1ebbb3 . claus parents: 122 diff changeset	8
3767 4ba3d02a2858 * empty log message * penk parents: 2991 diff changeset	9	comment 'plain good old 2D style.\No fancy decoration, but functional. Great for monochrome displays.'
122 c84d8d1e8d48 Initial revision claus parents: diff changeset	10
309 8cc4d0e7b41b germanism Claus Gittinger <cg@exept.de> parents: 180 diff changeset	11	#if (Language == #german) or:[Language == #de]
3767 4ba3d02a2858 * empty log message * penk parents: 2991 diff changeset	12	comment 'Guter alter 2D Stil ohne Schn�rkel & Schleifchen \Am besten f�r S/W Monitore'
309 8cc4d0e7b41b germanism Claus Gittinger <cg@exept.de> parents: 180 diff changeset	13	#endif
498 ca1d11e446ce some french strings Claus Gittinger <cg@exept.de> parents: 309 diff changeset	14	#if (Language == #french) or:[Language == #fr]
3767 4ba3d02a2858 * empty log message * penk parents: 2991 diff changeset	15	comment 'plein style 2D\Bien pour un moniteur monochrome'
498 ca1d11e446ce some french strings Claus Gittinger <cg@exept.de> parents: 309 diff changeset	16	#endif
309 8cc4d0e7b41b germanism Claus Gittinger <cg@exept.de> parents: 180 diff changeset	17
1440 114c32a3d0ea * empty log message * Claus Gittinger <cg@exept.de> parents: 1438 diff changeset	18	is3D false
114c32a3d0ea * empty log message * Claus Gittinger <cg@exept.de> parents: 1438 diff changeset	19	name #normal
122 c84d8d1e8d48 Initial revision claus parents: diff changeset	20
1440 114c32a3d0ea * empty log message * Claus Gittinger <cg@exept.de> parents: 1438 diff changeset	21	borderWidth 1
114c32a3d0ea * empty log message * Claus Gittinger <cg@exept.de> parents: 1438 diff changeset	22	viewBackground Color white
114c32a3d0ea * empty log message * Claus Gittinger <cg@exept.de> parents: 1438 diff changeset	23	popupBorderWidth 1
122 c84d8d1e8d48 Initial revision claus parents: diff changeset	24
1948 6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	25	scrollBar.position #left
6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	26	scrollBar.spacing 0
6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	27	scrollBar.buttonImageMargin 0
122 c84d8d1e8d48 Initial revision claus parents: diff changeset	28
1948 6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	29	scroller.viewBackground Color grey:50
6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	30	scroller.thumbColor Color white
6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	31	scroller.thumbInset 1
6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	32	scroller.thumbLevel 0
6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	33	scroller.thumbFrameColor Color black
122 c84d8d1e8d48 Initial revision claus parents: diff changeset	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 6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	38	framedBox.3DFrame false
122 c84d8d1e8d48 Initial revision claus parents: diff changeset	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 c84d8d1e8d48 Initial revision claus parents: diff changeset	42	;
c84d8d1e8d48 Initial revision claus parents: diff changeset	43	; take smaller fonts on small displays (VGA)
c84d8d1e8d48 Initial revision claus parents: diff changeset	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 c84d8d1e8d48 Initial revision claus parents: diff changeset	46	; take smaller fonts on VGA screens
c84d8d1e8d48 Initial revision claus parents: diff changeset	47	font Font family:'courier' face:'medium' style:'roman' size:10
2478 0a4772f08744 * empty log message * Claus Gittinger <cg@exept.de> parents: 2468 diff changeset	48	selection.font Font family:'helvetica' face:'medium' style:'roman' size:10
0a4772f08744 * empty log message * Claus Gittinger <cg@exept.de> parents: 2468 diff changeset	49	label.font Font family:'helvetica' face:'medium' style:'roman' size:10
122 c84d8d1e8d48 Initial revision claus parents: diff changeset	50	#else
2478 0a4772f08744 * empty log message * Claus Gittinger <cg@exept.de> parents: 2468 diff changeset	51	selection.font Font family:'helvetica' face:'medium' style:'roman' size:12
0a4772f08744 * empty log message * Claus Gittinger <cg@exept.de> parents: 2468 diff changeset	52	label.font Font family:'helvetica' face:'medium' style:'roman' size:12
122 c84d8d1e8d48 Initial revision claus parents: diff changeset	53	menuFont Font family:'helvetica' face:'bold' style:'roman' size:12
c84d8d1e8d48 Initial revision claus parents: diff changeset	54	#endif
2478 0a4772f08744 * empty log message * Claus Gittinger <cg@exept.de> parents: 2468 diff changeset	55
1951 5290a36652db * empty log message * Claus Gittinger <cg@exept.de> parents: 1948 diff changeset	56	selection.rightArrowStyle #solid
5290a36652db * empty log message * Claus Gittinger <cg@exept.de> parents: 1948 diff changeset	57	selection.rightArrowLevel 0
122 c84d8d1e8d48 Initial revision claus parents: diff changeset	58
1951 5290a36652db * empty log message * Claus Gittinger <cg@exept.de> parents: 1948 diff changeset	59	checkToggle.activeForegroundColor Color black
5290a36652db * empty log message * Claus Gittinger <cg@exept.de> parents: 1948 diff changeset	60	checkToggle.activeBackgroundColor Color white
5290a36652db * empty log message * Claus Gittinger <cg@exept.de> parents: 1948 diff changeset	61
2257 3707d66694fb * empty log message * Claus Gittinger <cg@exept.de> parents: 1951 diff changeset	62	menu.buttonItemSpace 2
3707d66694fb * empty log message * Claus Gittinger <cg@exept.de> parents: 1951 diff changeset	63
1951 5290a36652db * empty log message * Claus Gittinger <cg@exept.de> parents: 1948 diff changeset	64	radioButton.buttonStyle #round2D
5290a36652db * empty log message * Claus Gittinger <cg@exept.de> parents: 1948 diff changeset	65	radioButton.activeLevel 0
5290a36652db * empty log message * Claus Gittinger <cg@exept.de> parents: 1948 diff changeset	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 6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	69	html.anchorUnderline true
6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	70	html.anchorForegroundColor Color black
6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	71	html.backgroundColor Color white
6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	72	html.activeAnchorForegroundColor Color black
6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	73	html.activeAnchorBackgroundColor =htmlBackgroundColor
6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	74	html.visitedAnchorForegroundColor Color black
6a9b754ca6d3 * empty log message * Claus Gittinger <cg@exept.de> parents: 1620 diff changeset	75	html.exampleAnchorForegroundColor Color black
1620 49812898bfe2 html defs for monochrome displays Claus Gittinger <cg@exept.de> parents: 1440 diff changeset	76	#endif

author	Claus Gittinger <cg@exept.de>
	Mon, 15 Jul 2019 15:39:44 +0200
changeset 8731	5506d148b369
parent 3767	4ba3d02a2858
permissions	-rw-r--r--