*** empty log message ***
authorStefan Vogel <sv@exept.de>
Mon, 25 Nov 2013 16:24:54 +0100
changeset 6162 926edf474232
parent 6161 7ade6e53ab87
child 6163 f5e0de280f35
*** empty log message ***
styles/mswindows.common
styles/mswindows95.common
--- a/styles/mswindows.common	Mon Nov 25 16:20:45 2013 +0100
+++ b/styles/mswindows.common	Mon Nov 25 16:24:54 2013 +0100
@@ -2,7 +2,7 @@
 ;
 ; this is not yet completed
 ;
-; $Header: /cvs/stx/stx/libview/styles/mswindows.common,v 1.11 2013-11-25 15:20:45 stefan Exp $
+; $Header: /cvs/stx/stx/libview/styles/mswindows.common,v 1.12 2013-11-25 15:24:54 stefan Exp $
 
 name                            #mswindows
 
@@ -19,8 +19,8 @@
 popupBorderWidth                1
 viewBackground                  =viewGrey
 
-font                            Font family:'arial' face:'medium' style:'roman' size:12
-textFont                        Font family:'courier new' face:'medium' style:'roman' size:12
+font                            Font family:'arial' face:'medium' style:'roman' size:10
+textFont                        Font family:'courier new' face:'medium' style:'roman' size:10
 
 scrollBar.position               #right
 scrollBar.buttonPositions        #around
--- a/styles/mswindows95.common	Mon Nov 25 16:20:45 2013 +0100
+++ b/styles/mswindows95.common	Mon Nov 25 16:24:54 2013 +0100
@@ -1,5 +1,5 @@
 ;
-; $Header: /cvs/stx/stx/libview/styles/mswindows95.common,v 1.18 2013-11-25 15:20:45 stefan Exp $
+; $Header: /cvs/stx/stx/libview/styles/mswindows95.common,v 1.19 2013-11-25 15:24:54 stefan Exp $
 ;
 
 is3D                            true
@@ -31,8 +31,8 @@
 textFont          Font family:'courier' face:'medium' style:'roman' size:12 encoding:#'iso10646-1'
 font              Font family:'helvetica' face:'medium' style:'roman' size:14 encoding:#'iso10646-1'
 # else
-textFont          Font family:'courier new' face:'medium' style:'roman' size:12 encoding:#'iso10646-1'
-font              Font family:'arial' face:'medium' style:'roman' size:12 encoding:#'iso10646-1'
+textFont          Font family:'courier new' face:'medium' style:'roman' size:10 encoding:#'iso10646-1'
+font              Font family:'arial' face:'medium' style:'roman' size:10 encoding:#'iso10646-1'
 # endif
 menu.font         =font
 activeHelp.font   =font