Tools__FontSettingsApplication.st
changeset 16289 abe58442da28
parent 16094 ea79b6e5a7fc
child 16293 d6b477b1814a
child 16320 cd9e227fdeec
--- a/Tools__FontSettingsApplication.st	Wed Apr 13 22:45:30 2016 +0200
+++ b/Tools__FontSettingsApplication.st	Thu Apr 14 12:54:52 2016 +0200
@@ -1269,7 +1269,7 @@
 
 useXftFontsOnlyVisible
 
-    ^ Screen platformName = 'X11'
+    ^ Screen platformName == #X11
 ! !
 
 !FontSettingsApplication methodsFor:'change & update'!