Changeset 5886 in josm for trunk/src/org/openstreetmap/josm/gui/dialogs/InspectPrimitiveDialog.java

Timestamp:

2013-04-19T22:21:57+02:00 (11 years ago)

Author:

Don-vip

Message:

see #4429 - Right click menu "undo, cut, copy, paste, delete, select all" for each text component (originally based on patch by NooN)

File:

• trunk/src/org/openstreetmap/josm/gui/dialogs/InspectPrimitiveDialog.java (modified) (5 diffs)

trunk/src/org/openstreetmap/josm/gui/dialogs/InspectPrimitiveDialog.java

@@ -17 +17 @@
 import javax.swing.JScrollPane;
 import javax.swing.JTabbedPane;
-import javax.swing.JTextArea;
 import javax.swing.SingleSelectionModel;
 import javax.swing.event.ChangeEvent;
@@ -46 +45 @@
 import org.openstreetmap.josm.gui.mappaint.mapcss.MapCSSStyleSource;
 import org.openstreetmap.josm.gui.mappaint.xml.XmlStyleSource;
+import org.openstreetmap.josm.gui.widgets.JosmTextArea;
 import org.openstreetmap.josm.tools.DateUtils;
 import org.openstreetmap.josm.tools.GBC;
@@ -61 +61 @@
     protected List<OsmPrimitive> primitives;
     protected OsmDataLayer layer;
-    private JTextArea txtData;
-    private JTextArea txtMappaint;
+    private JosmTextArea txtData;
+    private JosmTextArea txtMappaint;
     boolean mappaintTabLoaded;
 
@@ -94 +94 @@
     protected JPanel buildDataPanel() {
         JPanel p = new JPanel(new GridBagLayout());
-        txtData = new JTextArea();
+        txtData = new JosmTextArea();
         txtData.setFont(new Font("Monospaced", txtData.getFont().getStyle(), txtData.getFont().getSize()));
         txtData.setEditable(false);
@@ -321 +321 @@
     protected void buildMapPaintPanel(JPanel p) {
         p.setLayout(new GridBagLayout());
-        txtMappaint = new JTextArea();
+        txtMappaint = new JosmTextArea();
         txtMappaint.setFont(new Font("Monospaced", txtMappaint.getFont().getStyle(), txtMappaint.getFont().getSize()));
         txtMappaint.setEditable(false);