device access
authorClaus Gittinger <cg@exept.de>
Sat, 02 Apr 2016 17:12:41 +0200
changeset 5005 28df1acb3d8c
parent 5004 fc2a53728ebf
child 5006 22bdac1a5826
device access
VT100TerminalView.st
--- a/VT100TerminalView.st	Sat Apr 02 17:12:39 2016 +0200
+++ b/VT100TerminalView.st	Sat Apr 02 17:12:41 2016 +0200
@@ -340,7 +340,7 @@
         "/ workaround: windows bold fonts are
         "/ wider, leading to ugly looking output
         "/ Therefore, use red color instead of bold
-        self graphicsDevice isWindowsPlatform ifTrue:[
+        device isWindowsPlatform ifTrue:[
             self color:(Color red:80).
         ] ifFalse:[
             self bold.