Ticket #20706: antialias.patch

src/org/openstreetmap/josm/gui/MainApplication.java

@@ -1030 +1030 @@
         }
         // Disable automatic POST retry after 5 minutes, see #17882 / https://bugs.openjdk.java.net/browse/JDK-6382788
         Utils.updateSystemProperty("sun.net.http.retryPost", "false");
+        // Force text antialiasing, not including mappaint text
+        if (Config.getPref().getBoolean("gui.forceAntialiasing", true)) {
+            Utils.updateSystemProperty("awt.useSystemAAFontSettings", "on");
+        }
     }
 
     /**

src/org/openstreetmap/josm/gui/widgets/JosmEditorPane.java

@@ -3 +3 @@
 
 import java.awt.Color;
 import java.awt.Font;
+import java.awt.Graphics;
+import java.awt.Graphics2D;
+import java.awt.RenderingHints;
 import java.io.IOException;
 import java.io.InputStream;
 import java.net.URL;
@@ -15 +18 @@
 import javax.swing.text.html.StyleSheet;
 
 import org.openstreetmap.josm.gui.util.GuiHelper;
+import org.openstreetmap.josm.spi.preferences.Config;
 import org.openstreetmap.josm.tools.ColorHelper;
 import org.openstreetmap.josm.tools.Destroyable;
 import org.openstreetmap.josm.tools.HttpClient;
@@ -21 +25 @@
 import org.openstreetmap.josm.tools.LanguageInfo;
 
 /**
- * Subclass of {@link JEditorPane} that adds a "native" context menu (cut/copy/paste/select all)
- * and effectively uses JOSM user agent when performing HTTP request in {@link #setPage(URL)} method.
+ * Subclass of {@link JEditorPane} that adds a "native" context menu (cut/copy/paste/select all), forces text and bullet
+ * point antialiasing based on user preferences, and effectively uses JOSM user agent when performing HTTP request in
+ * {@link #setPage(URL)} method.
  * @since 5886
  */
 public class JosmEditorPane extends JEditorPane implements Destroyable {
@@ -86 +91 @@
         return conn.getContent();
     }
 
+    @Override
+    public void paintComponent(Graphics g) {
+        // Force antialiasing within the JosmEditorPane for antialiased bullet points
+        if (Config.getPref().getBoolean("gui.forceAntialiasing", true)) {
+            Graphics2D g2d = (Graphics2D) g.create();
+            g2d.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
+            g2d.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, RenderingHints.VALUE_TEXT_ANTIALIAS_ON);
+            super.paintComponent(g2d);
+            g2d.dispose();
+        } else {
+            super.paintComponent(g);
+        }
+    }
+
     /**
      * Adapts a {@link JEditorPane} to be used as a powerful replacement of {@link javax.swing.JLabel}.
      * @param pane The editor pane to adapt