--- 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 $'
! !