styles/iris.common
changeset 2145 cf7ecfe69551
parent 2135 bdf4d055eadd
child 2162 1171a830024c
--- a/styles/iris.common	Wed Jun 10 17:35:46 1998 +0200
+++ b/styles/iris.common	Fri Jun 12 16:31:52 1998 +0200
@@ -3,7 +3,7 @@
 ; silicon graphics style
 ; (somwehat like motif, but with smooth edges and bells&whistles)
 ;
-; $Header: /cvs/stx/stx/libview/styles/iris.common,v 1.2 1998-06-05 12:40:41 cg Exp $
+; $Header: /cvs/stx/stx/libview/styles/iris.common,v 1.3 1998-06-12 14:31:52 cg Exp $
 
 is3D                            true
 
@@ -50,7 +50,7 @@
 editField.selectionForegroundColor  Color black
 #endif
 
-#if (Font family:'screen' face:'bold' style:'roman' size:16) existsOn:Display
+#if (Display serverVendor = 'Silicon Graphics' and:[(Font family:'screen' face:'bold' style:'roman' size:16) existsOn:Display])
 editField.font                   Font family:'screen' face:'bold' style:'roman' size:16
 #else
 editField.font                   Font family:'courier' face:'medium' style:'roman' size:12