styles/mswindows95.common
changeset 5449 6a5794684031
parent 5444 191f0a6f82e3
child 5452 175bf2a1ee9f
--- a/styles/mswindows95.common	Mon Nov 02 18:40:58 2009 +0100
+++ b/styles/mswindows95.common	Mon Nov 02 18:51:05 2009 +0100
@@ -1,5 +1,5 @@
 ;
-; $Header: /cvs/stx/stx/libview/styles/mswindows95.common,v 1.11 2009-10-30 18:33:03 cg Exp $
+; $Header: /cvs/stx/stx/libview/styles/mswindows95.common,v 1.12 2009-11-02 17:51:05 cg Exp $
 ;
 
 is3D                            true
@@ -19,13 +19,14 @@
 ;
 dialogBox.okAtLeft                 true
 
-textFont         Font family:'courier' face:'medium' style:'roman' size:10
 
 #if (Screen current platformName = 'WIN32')
+textFont          Font family:'Courier New' face:'medium' style:'roman' size:10
 font              ((Screen current getSystemParametersInfo:#SPI_GETNONCLIENTMETRICS) at:#messageFont) onDevice:Screen current
 menu.font         ((Screen current getSystemParametersInfo:#SPI_GETNONCLIENTMETRICS) at:#menuFont) onDevice:Screen current
 activeHelp.font   ((Screen current getSystemParametersInfo:#SPI_GETNONCLIENTMETRICS) at:#statusFont) onDevice:Screen current
 #else
+textFont          Font family:'courier' face:'medium' style:'roman' size:10
 font              Font family:'helvetica' face:'medium' style:'roman' size:10
 menu.font         =font
 activeHelp.font   =font