--- 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