Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

    r5857 r5886  
    4545import javax.swing.JPanel;
    4646import javax.swing.JScrollPane;
    47 import javax.swing.JTextArea;
    4847import javax.swing.UIManager;
    4948
     
    5958import org.openstreetmap.josm.gui.progress.NullProgressMonitor;
    6059import org.openstreetmap.josm.gui.progress.ProgressMonitor;
     60import org.openstreetmap.josm.gui.widgets.JosmTextArea;
    6161import org.openstreetmap.josm.tools.CheckParameterUtil;
    6262import org.openstreetmap.josm.tools.GBC;
     
    12001200                        b.append("\n");
    12011201                    }
    1202                     JTextArea a = new JTextArea(10, 40);
     1202                    JosmTextArea a = new JosmTextArea(10, 40);
    12031203                    a.setEditable(false);
    12041204                    a.setText(b.toString());
     
    12091209            }), GBC.eol());
    12101210
    1211             JTextArea description = new JTextArea((info.description == null ? tr("no description available")
     1211            JosmTextArea description = new JosmTextArea((info.description == null ? tr("no description available")
    12121212                    : info.description));
    12131213            description.setEditable(false);
Note: See TracChangeset for help on using the changeset viewer.