--- a/VT100TerminalView.st	Tue Feb 01 14:56:07 2000 +0100
+++ b/VT100TerminalView.st	Tue Feb 01 18:40:59 2000 +0100
@@ -166,7 +166,7 @@
         "/ workaround: windows bold fonts are
         "/ wider, leading to ugly looking output
         "/ Therefore, use red color instead of bold
-        Display platformName = 'WIN32' ifTrue:[
+        device platformName = 'WIN32' ifTrue:[
             self color:Color red.
         ] ifFalse:[
             self bold.
@@ -649,5 +649,5 @@
 !VT100TerminalView class methodsFor:'documentation'!
 
 version
-    ^ '$Header: /cvs/stx/stx/libwidg2/VT100TerminalView.st,v 1.31 1999-06-24 09:56:03 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libwidg2/VT100TerminalView.st,v 1.32 2000-02-01 17:40:59 cg Exp $'
 ! !