Changeset 5886 in josm for trunk/src/org/openstreetmap/josm/gui/help

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/help/HelpBrowser.java (modified) (5 diffs)

trunk/src/org/openstreetmap/josm/gui/help/HelpBrowser.java

@@ -24 +24 @@
 import javax.swing.JComponent;
 import javax.swing.JDialog;
-import javax.swing.JEditorPane;
 import javax.swing.JMenuItem;
 import javax.swing.JOptionPane;
@@ -40 +39 @@
 import javax.swing.text.Element;
 import javax.swing.text.SimpleAttributeSet;
+import javax.swing.text.html.HTML.Tag;
 import javax.swing.text.html.HTMLDocument;
 import javax.swing.text.html.HTMLEditorKit;
 import javax.swing.text.html.StyleSheet;
-import javax.swing.text.html.HTML.Tag;
 
 import org.openstreetmap.josm.Main;
@@ -49 +48 @@
 import org.openstreetmap.josm.gui.HelpAwareOptionPane;
 import org.openstreetmap.josm.gui.MainMenu;
+import org.openstreetmap.josm.gui.widgets.JosmEditorPane;
 import org.openstreetmap.josm.tools.ImageProvider;
 import org.openstreetmap.josm.tools.OpenBrowser;
@@ -106 +106 @@
 
     /** the help browser */
-    private JEditorPane help;
+    private JosmEditorPane help;
 
     /** the help browser history */
@@ -166 +166 @@
 
     protected void build() {
-        help = new JEditorPane();
+        help = new JosmEditorPane();
         HTMLEditorKit kit = new HTMLEditorKit();
         kit.setStyleSheet(buildStyleSheet());