Ticket #20706: JOSM-setupTextAntiAliasing.diff
| File JOSM-setupTextAntiAliasing.diff, 2.0 KB (added by , 5 years ago) |
|---|
-
core/src/org/openstreetmap/josm/gui/MainApplication.java
12 12 import java.awt.Font; 13 13 import java.awt.GraphicsEnvironment; 14 14 import java.awt.GridBagLayout; 15 import java.awt.RenderingHints; 15 16 import java.awt.Toolkit; 16 17 import java.io.File; 17 18 import java.io.IOException; … … 1163 1164 scaleFonts(Config.getPref().getDouble("gui.scale.list.font", 1.0), 1164 1165 "List.font"); 1165 1166 // "Table.font" see org.openstreetmap.josm.gui.util.TableHelper.setFont 1167 1168 setupTextAntiAliasing(); 1166 1169 } 1167 1170 1168 1171 private static void scaleFonts(double factor, String... fonts) { … … 1178 1181 } 1179 1182 } 1180 1183 1184 private static void setupTextAntiAliasing() { 1185 // On Linux and running on Java 9+, enable text anti aliasing 1186 // if not yet enabled and if neither running on Gnome or KDE desktop 1187 if (PlatformManager.isPlatformUnixoid() 1188 && Utils.getJavaVersion() >= 9 1189 && UIManager.getLookAndFeelDefaults().get(RenderingHints.KEY_TEXT_ANTIALIASING) == null 1190 && System.getProperty("awt.useSystemAAFontSettings") == null 1191 && Toolkit.getDefaultToolkit().getDesktopProperty("gnome.Xft/Antialias") == null 1192 && Toolkit.getDefaultToolkit().getDesktopProperty("fontconfig/Antialias") == null) { 1193 UIManager.getLookAndFeelDefaults().put(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON); 1194 } 1195 } 1196 1181 1197 static Collection<PluginInformation> updateAndLoadEarlyPlugins(SplashScreen splash, SplashProgressMonitor monitor) { 1182 1198 Collection<PluginInformation> pluginsToLoad; 1183 1199 pluginsToLoad = PluginHandler.buildListOfPluginsToLoad(splash, monitor.createSubTaskMonitor(1, false));
