Changeset 8716 in josm

Timestamp:

2015-09-02T21:35:39+02:00 (9 years ago)

Author:

simon04

Message:

see #11428 - Overpass Download: use JosmTextArea for monospace font

File:

• trunk/src/org/openstreetmap/josm/actions/OverpassDownloadAction.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/actions/OverpassDownloadAction.java

@@ -36 +36 @@
 import org.openstreetmap.josm.gui.util.GuiHelper;
 import org.openstreetmap.josm.gui.widgets.HistoryComboBox;
+import org.openstreetmap.josm.gui.widgets.JosmTextArea;
 import org.openstreetmap.josm.io.BoundingBoxDownloader;
 import org.openstreetmap.josm.io.OsmTransferException;
@@ -78 +79 @@
         protected HistoryComboBox overpassServer;
         protected HistoryComboBox overpassWizard;
-        protected JTextArea overpassQuery;
+        protected JosmTextArea overpassQuery;
         private static OverpassDownloadDialog instance;
         static final StringProperty OVERPASS_SERVER = new StringProperty("download.overpass.server", "http://overpass-api.de/api/");
@@ -132 +133 @@
             pnl.add(overpassWizard, GBC.eol().fill(GBC.HORIZONTAL));
 
-            overpassQuery = new JTextArea("[timeout:15];", 8, 80);
+            overpassQuery = new JosmTextArea("[timeout:15];", 8, 80);
             overpassQuery.setFont(GuiHelper.getMonospacedFont(overpassQuery));
             JScrollPane scrollPane = new JScrollPane(overpassQuery);