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

trunk/src/org/openstreetmap/josm/actions/AboutAction.java

@@ -15 +15 @@
 import javax.swing.JScrollPane;
 import javax.swing.JTabbedPane;
-import javax.swing.JTextArea;
 
 import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.data.Version;
 import org.openstreetmap.josm.gui.util.GuiHelper;
+import org.openstreetmap.josm.gui.widgets.JosmTextArea;
 import org.openstreetmap.josm.plugins.PluginHandler;
 import org.openstreetmap.josm.tools.BugReportExceptionHandler;
@@ -38 +38 @@
 public class AboutAction extends JosmAction {
 
+    /**
+     * Constructs a new {@code AboutAction}.
+     */
     public AboutAction() {
         super(tr("About"), "about", tr("Display the about screen."),
@@ -49 +52 @@
         Version version = Version.getInstance();
 
-        JTextArea readme = new JTextArea();
+        JosmTextArea readme = new JosmTextArea();
         readme.setEditable(false);
         readme.setText(Version.loadResourceFile(Main.class.getResource("/README")));
         readme.setCaretPosition(0);
 
-        JTextArea revision = new JTextArea();
+        JosmTextArea revision = new JosmTextArea();
         revision.setEditable(false);
         revision.setText(version.getReleaseAttributes());
         revision.setCaretPosition(0);
 
-        JTextArea contribution = new JTextArea();
+        JosmTextArea contribution = new JosmTextArea();
         contribution.setEditable(false);
         contribution.setText(Version.loadResourceFile(Main.class.getResource("/CONTRIBUTION")));
         contribution.setCaretPosition(0);
 
-        JTextArea license = new JTextArea();
+        JosmTextArea license = new JosmTextArea();
         license.setEditable(false);
         license.setText(Version.loadResourceFile(Main.class.getResource("/LICENSE")));
@@ -103 +106 @@
     }
 
-    private JScrollPane createScrollPane(JTextArea area) {
+    private JScrollPane createScrollPane(JosmTextArea area) {
         area.setBorder(BorderFactory.createEmptyBorder(5,5,5,5));
         area.setOpaque(false);