Changeset 5886 in josm for trunk/src/org/openstreetmap/josm/plugins

Timestamp:

2013-04-19T22:21:57+02:00 (12 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/plugins/PluginHandler.java (modified) (4 diffs)

trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

@@ -45 +45 @@
 import javax.swing.JPanel;
 import javax.swing.JScrollPane;
-import javax.swing.JTextArea;
 import javax.swing.UIManager;
 
@@ -59 +58 @@
 import org.openstreetmap.josm.gui.progress.NullProgressMonitor;
 import org.openstreetmap.josm.gui.progress.ProgressMonitor;
+import org.openstreetmap.josm.gui.widgets.JosmTextArea;
 import org.openstreetmap.josm.tools.CheckParameterUtil;
 import org.openstreetmap.josm.tools.GBC;
@@ -1200 +1200 @@
                         b.append("\n");
                     }
-                    JTextArea a = new JTextArea(10, 40);
+                    JosmTextArea a = new JosmTextArea(10, 40);
                     a.setEditable(false);
                     a.setText(b.toString());
@@ -1209 +1209 @@
             }), GBC.eol());
 
-            JTextArea description = new JTextArea((info.description == null ? tr("no description available")
+            JosmTextArea description = new JosmTextArea((info.description == null ? tr("no description available")
                     : info.description));
             description.setEditable(false);