Changeset 7896 in josm for trunk/src/org/openstreetmap/josm/gui/io/DownloadPrimitivesWithReferrersTask.java

Timestamp:

2014-12-27T05:25:53+01:00 (9 years ago)

Author:

Don-vip

Message:

fix font problems with Khmer. Only tested on Java 8/Windows 7 right now.

File:

• trunk/src/org/openstreetmap/josm/gui/io/DownloadPrimitivesWithReferrersTask.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/io/DownloadPrimitivesWithReferrersTask.java

@@ -213 +213 @@
         }
         JosmTextArea txt = new JosmTextArea();
-        txt.setFont(new Font("Monospaced", txt.getFont().getStyle(), txt.getFont().getSize()));
+        txt.setFont(GuiHelper.getMonospacedFont(txt));
         txt.setEditable(false);
         txt.setBackground(p.getBackground());