From 517df54aec4386a559d326a42e287a2dd6bb7b4f Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Wed, 12 Aug 2015 23:58:18 +0200 Subject: More common GTK font names --- osfont.icl | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'osfont.icl') diff --git a/osfont.icl b/osfont.icl index bbff295..1be8b70 100644 --- a/osfont.icl +++ b/osfont.icl @@ -29,11 +29,11 @@ instance == OSFont where (==) f1 f2 = f1.osfontsize==f2.osfontsize && f1.osfontstyles==f2.osfontstyles && f1.osfontname==f2.osfontname // Font constants: -osSerifFontDef :: OSFontDef; osSerifFontDef = ("Times New Roman",[],10) -osSansSerifFontDef :: OSFontDef; osSansSerifFontDef = ("Arial", [],10) -osSmallFontDef :: OSFontDef; osSmallFontDef = ("Small Fonts", [],7 ) -osNonProportionalFontDef :: OSFontDef; osNonProportionalFontDef= ("Courier New", [],10) -osSymbolFontDef :: OSFontDef; osSymbolFontDef = ("Symbol", [],10) +osSerifFontDef :: OSFontDef; osSerifFontDef = ("Serif", [],10) +osSansSerifFontDef :: OSFontDef; osSansSerifFontDef = ("Sans", [],10) +osSmallFontDef :: OSFontDef; osSmallFontDef = ("Sans", [],7 ) +osNonProportionalFontDef :: OSFontDef; osNonProportionalFontDef= ("Monospace", [],10) +osSymbolFontDef :: OSFontDef; osSymbolFontDef = ("Symbol", [],10) osSelectfont :: !OSFontDef !*OSToolbox -> (!Bool,!Font,!*OSToolbox) @@ -48,7 +48,7 @@ osDefaultfont tb where def = (name,styles,size) imp = {osfontname=name,osfontstyles=sStyle2IStyle styles,osfontsize=size} - name = "Times New Roman" + name = "Sans" styles = [] size = 10 @@ -58,7 +58,7 @@ osDialogfont tb where def = (name,styles,size) imp = {osfontname=name,osfontstyles=sStyle2IStyle styles,osfontsize=size} - name = "MS Sans Serif" + name = "Sans" styles = [] size = 8 -- cgit v1.2.3