VT100TerminalView.st
changeset 4501 014e89c5756d
parent 4448 da0df393ce27
child 4560 1dccb83a6ef8
--- a/VT100TerminalView.st	Thu Feb 13 19:47:53 2014 +0100
+++ b/VT100TerminalView.st	Tue Feb 18 15:19:02 2014 +0100
@@ -314,7 +314,7 @@
         "/ workaround: windows bold fonts are
         "/ wider, leading to ugly looking output
         "/ Therefore, use red color instead of bold
-        device platformName = 'WIN32' ifTrue:[
+        self graphicsDevice platformName = 'WIN32' 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.61 2013-11-25 15:06:30 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libwidg2/VT100TerminalView.st,v 1.62 2014-02-18 14:19:02 stefan Exp $'
 !
 
 version_CVS
-    ^ '$Header: /cvs/stx/stx/libwidg2/VT100TerminalView.st,v 1.61 2013-11-25 15:06:30 cg Exp $'
+    ^ '$Header: /cvs/stx/stx/libwidg2/VT100TerminalView.st,v 1.62 2014-02-18 14:19:02 stefan Exp $'
 ! !