--- a/VT100TerminalView.st	Tue Apr 01 13:23:06 2014 +0200
+++ b/VT100TerminalView.st	Thu Apr 03 16:35:07 2014 +0200
@@ -314,7 +314,7 @@
         "/ workaround: windows bold fonts are
         "/ wider, leading to ugly looking output
         "/ Therefore, use red color instead of bold
-        self graphicsDevice platformName = 'WIN32' ifTrue:[
+        self graphicsDevice isWindowsPlatform ifTrue:[
             self color:(Color red:80).
         ] ifFalse:[
             self bold.
@@ -1272,10 +1272,10 @@
 !VT100TerminalView class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libwidg2/VT100TerminalView.st,v 1.62 2014-02-18 14:19:02 stefan Exp $'
+    ^ '$Header: /cvs/stx/stx/libwidg2/VT100TerminalView.st,v 1.63 2014-04-03 14:35:07 cg Exp $'
 !
 
 version_CVS
-    ^ '$Header: /cvs/stx/stx/libwidg2/VT100TerminalView.st,v 1.62 2014-02-18 14:19:02 stefan Exp $'
+    ^ '$Header: /cvs/stx/stx/libwidg2/VT100TerminalView.st,v 1.63 2014-04-03 14:35:07 cg Exp $'
 ! !