Ignore:
Timestamp:
2015-09-02T21:35:39+02:00 (5 years ago)
Author:
simon04
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/actions/OverpassDownloadAction.java

    r8713 r8716  
    3636import org.openstreetmap.josm.gui.util.GuiHelper;
    3737import org.openstreetmap.josm.gui.widgets.HistoryComboBox;
     38import org.openstreetmap.josm.gui.widgets.JosmTextArea;
    3839import org.openstreetmap.josm.io.BoundingBoxDownloader;
    3940import org.openstreetmap.josm.io.OsmTransferException;
     
    7879        protected HistoryComboBox overpassServer;
    7980        protected HistoryComboBox overpassWizard;
    80         protected JTextArea overpassQuery;
     81        protected JosmTextArea overpassQuery;
    8182        private static OverpassDownloadDialog instance;
    8283        static final StringProperty OVERPASS_SERVER = new StringProperty("download.overpass.server", "http://overpass-api.de/api/");
     
    132133            pnl.add(overpassWizard, GBC.eol().fill(GBC.HORIZONTAL));
    133134
    134             overpassQuery = new JTextArea("[timeout:15];", 8, 80);
     135            overpassQuery = new JosmTextArea("[timeout:15];", 8, 80);
    135136            overpassQuery.setFont(GuiHelper.getMonospacedFont(overpassQuery));
    136137            JScrollPane scrollPane = new JScrollPane(overpassQuery);
Note: See TracChangeset for help on using the changeset viewer.