Tools__FontSettingsApplication.st
changeset 18943 b20434807df6
parent 18626 ddd710be1fdb
child 19408 333b314ade11
--- a/Tools__FontSettingsApplication.st	Thu Jul 25 12:59:50 2019 +0200
+++ b/Tools__FontSettingsApplication.st	Thu Jul 25 13:00:06 2019 +0200
@@ -1520,7 +1520,9 @@
 
 useXFontsOnlyVisible
 
-    ^ Screen platformName == #X11
+    ^ Screen isX11Platform
+
+    "Modified: / 25-07-2019 / 12:32:23 / Claus Gittinger"
 !
 
 useXftFontsOnly
@@ -1537,7 +1539,9 @@
 
 useXftFontsOnlyVisible
 
-    ^ Screen platformName == #X11
+    ^ Screen isX11Platform
+
+    "Modified: / 25-07-2019 / 12:32:28 / Claus Gittinger"
 !
 
 useXftSettingsChanged