Changeset 8711 in josm

Timestamp:

2015-09-01T20:48:29+02:00 (10 years ago)

Author:

simon04

Message:

see #11428 - Overpass Download: use Monospace font for query

File:

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

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

@@ -33 +33 @@
 import org.openstreetmap.josm.gui.download.DownloadDialog;
 import org.openstreetmap.josm.gui.progress.ProgressMonitor;
+import org.openstreetmap.josm.gui.util.GuiHelper;
 import org.openstreetmap.josm.gui.widgets.HistoryComboBox;
 import org.openstreetmap.josm.io.BoundingBoxDownloader;
@@ -129 +130 @@
 
             overpassQuery = new JTextArea("[timeout:15];", 8, 80);
+            overpassQuery.setFont(GuiHelper.getMonospacedFont(overpassQuery));
             JScrollPane scrollPane = new JScrollPane(overpassQuery);
             pnl.add(new JLabel(tr("Overpass query: ")), GBC.std().insets(5, 5, 5, 5));