--- a/styles/motif.common Thu Mar 25 00:11:14 1999 +0100
+++ b/styles/motif.common Thu Mar 25 00:24:13 1999 +0100
@@ -2,7 +2,7 @@
; common motif stuff (not a style, but included by all motif style variations)
;
;
-; $Header: /cvs/stx/stx/libview/styles/motif.common,v 1.21 1999-03-06 02:19:02 cg Exp $
+; $Header: /cvs/stx/stx/libview/styles/motif.common,v 1.22 1999-03-24 23:24:11 cg Exp $
;
; this is to be included from the real style,
@@ -13,7 +13,7 @@
is3D true
name #motif
-fatFont ? Font family:'helvetica' face:'bold' style:'roman' size:12
+fatFont ? Font family:'helvetica' face:'bold' style:'roman' size:12
selectionFont ? =fatFont
labelFont ? =fatFont
--- a/styles/motif.style Thu Mar 25 00:11:14 1999 +0100
+++ b/styles/motif.style Thu Mar 25 00:24:13 1999 +0100
@@ -7,7 +7,7 @@
; on VGA displays, where the colors are a bit darkish,
; use motif_light
;
-; $Header: /cvs/stx/stx/libview/styles/motif.style,v 1.14 1998-09-08 10:06:42 cg Exp $
+; $Header: /cvs/stx/stx/libview/styles/motif.style,v 1.15 1999-03-24 23:24:12 cg Exp $
#if Display hasGreyscales
;
@@ -55,6 +55,14 @@
fatFont Font family:'helvetica' face:'bold' style:'roman' size:12
+#if (Display platformName = 'WIN32' and:[Display width <= 640])
+fatFont Font family:'helvetica' face:'bold' style:'roman' size:8
+#endif
+
+#if (Display platformName = 'WIN32' and:[Display width > 640 and:[Display width <= 800]])
+fatFont Font family:'helvetica' face:'bold' style:'roman' size:10
+#endif
+
selectionFont =fatFont
labelFont =fatFont
menuFont =fatFont
--- a/styles/st80.style Thu Mar 25 00:11:14 1999 +0100
+++ b/styles/st80.style Thu Mar 25 00:24:13 1999 +0100
@@ -2,7 +2,7 @@
;
; simulation of the old st80 style - looks somewhat like os2
;
-; $Header: /cvs/stx/stx/libview/styles/st80.style,v 1.22 1999-02-24 17:06:34 cg Exp $
+; $Header: /cvs/stx/stx/libview/styles/st80.style,v 1.23 1999-03-24 23:24:13 cg Exp $
comment 'old `ST80'' 3D look alike'
@@ -19,7 +19,7 @@
; take a smaller font on VGA displays
;
-#if Display width == 640
+#if Display width <= 800
; take smaller fonts on VGA screens
font Font family:'courier' face:'medium' style:'roman' size:10
variableBoldFont Font family:'helvetica' face:'medium' style:'roman' size:10