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

trunk/src/org/openstreetmap/josm/gui/GettingStarted.java

@@ -16 +16 @@
 
 import javax.swing.JComponent;
-import javax.swing.JEditorPane;
 import javax.swing.JPanel;
 import javax.swing.JScrollPane;
@@ -26 +25 @@
 import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.data.Version;
+import org.openstreetmap.josm.gui.widgets.JosmEditorPane;
 import org.openstreetmap.josm.io.CacheCustomContent;
 import org.openstreetmap.josm.tools.LanguageInfo;
@@ -39 +39 @@
             + "</style>\n";
 
-    public static class LinkGeneral extends JEditorPane implements HyperlinkListener {
+    public static class LinkGeneral extends JosmEditorPane implements HyperlinkListener {
+        
+        /**
+         * Constructs a new {@code LinkGeneral} with the given HTML text
+         * @param text The text to display
+         */
         public LinkGeneral(String text) {
             setContentType("text/html");