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

trunk/src/org/openstreetmap/josm/gui/dialogs/MapPaintDialog.java

@@ -39 +39 @@
 import javax.swing.JTabbedPane;
 import javax.swing.JTable;
-import javax.swing.JTextArea;
 import javax.swing.JViewport;
 import javax.swing.ListSelectionModel;
@@ -72 +71 @@
 import org.openstreetmap.josm.gui.widgets.HtmlPanel;
 import org.openstreetmap.josm.gui.widgets.JFileChooserManager;
+import org.openstreetmap.josm.gui.widgets.JosmTextArea;
 import org.openstreetmap.josm.gui.widgets.PopupMenuLauncher;
 import org.openstreetmap.josm.tools.GBC;
@@ -91 +91 @@
     protected JCheckBox cbWireframe;
 
+    /**
+     * Constructs a new {@code MapPaintDialog}.
+     */
     public MapPaintDialog() {
         super(tr("Map Paint Styles"), "mapstyle", tr("configure the map painting style"),
@@ -406 +409 @@
      */
     public static class LaunchMapPaintPreferencesAction extends AbstractAction {
+        /**
+         * Constructs a new {@code LaunchMapPaintPreferencesAction}.
+         */
         public LaunchMapPaintPreferencesAction() {
             putValue(NAME, tr("Preferences"));
@@ -652 +658 @@
 
         private void buildSourcePanel(StyleSource s, JPanel p) {
-            JTextArea txtSource = new JTextArea();
+            JosmTextArea txtSource = new JosmTextArea();
             txtSource.setFont(new Font("Monospaced", txtSource.getFont().getStyle(), txtSource.getFont().getSize()));
             txtSource.setEditable(false);
@@ -673 +679 @@
 
         private void buildErrorsPanel(StyleSource s, JPanel p) {
-            JTextArea txtErrors = new JTextArea();
+            JosmTextArea txtErrors = new JosmTextArea();
             txtErrors.setFont(new Font("Monospaced", txtErrors.getFont().getStyle(), txtErrors.getFont().getSize()));
             txtErrors.setEditable(false);
@@ -702 +708 @@
 
     public class MapPaintPopup extends JPopupMenu {
+        /**
+         * Constructs a new {@code MapPaintPopup}.
+         */
         public MapPaintPopup() {
             add(reloadAction);