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

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/tools/BugReportExceptionHandler.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/tools/BugReportExceptionHandler.java

@@ -19 +19 @@
 import javax.swing.JPanel;
 import javax.swing.JScrollPane;
-import javax.swing.JTextArea;
 import javax.swing.SwingUtilities;
 
@@ -26 +25 @@
 import org.openstreetmap.josm.gui.ExtendedDialog;
 import org.openstreetmap.josm.gui.JMultilineLabel;
+import org.openstreetmap.josm.gui.widgets.JosmTextArea;
 import org.openstreetmap.josm.plugins.PluginHandler;
 
@@ -151 +151 @@
                             }
 
-                            JTextArea info = new JTextArea(text, 18, 60);
+                            JosmTextArea info = new JosmTextArea(text, 18, 60);
                             info.setCaretPosition(0);
                             info.setEditable(false);