Changeset 5886 in josm for trunk/src/org/openstreetmap/josm/gui/actionsupport/LogShowDialog.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/actionsupport/LogShowDialog.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/actionsupport/LogShowDialog.java

@@ -1 +1 @@
 package org.openstreetmap.josm.gui.actionsupport;
+
+import static org.openstreetmap.josm.tools.I18n.tr;
 
 import java.awt.Dimension;
 import java.awt.GridBagLayout;
-import javax.swing.*;
+
+import javax.swing.JLabel;
+import javax.swing.JPanel;
+import javax.swing.JScrollPane;
+
 import org.openstreetmap.josm.Main;
-import org.openstreetmap.josm.data.Preferences;
 import org.openstreetmap.josm.gui.ExtendedDialog;
-import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
-import org.openstreetmap.josm.gui.preferences.advanced.AdvancedPreference;
-import org.openstreetmap.josm.gui.widgets.HtmlPanel;
+import org.openstreetmap.josm.gui.widgets.JosmEditorPane;
 import org.openstreetmap.josm.tools.GBC;
-
-import static org.openstreetmap.josm.tools.I18n.tr;
 
 /**
@@ -34 +35 @@
         
         p.add(lbl, GBC.eol().insets(5,0,5,0));
-        JEditorPane txt = new JEditorPane();
+        JosmEditorPane txt = new JosmEditorPane();
         txt.setContentType("text/html");
         txt.setText(log);
@@ -50 +51 @@
     }
 }
- 
-