author | Claus Gittinger <cg@exept.de> |
Sat, 02 Apr 2016 17:12:41 +0200 | |
changeset 5005 | 28df1acb3d8c |
parent 5004 | fc2a53728ebf |
child 5006 | 22bdac1a5826 |
--- 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.