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

trunk/src/org/openstreetmap/josm/gui/preferences/advanced/MapListEditor.java

@@ -23 +23 @@
 import javax.swing.JScrollPane;
 import javax.swing.JTable;
-import javax.swing.JTextField;
 import javax.swing.JToolBar;
 import javax.swing.event.ListSelectionEvent;
 import javax.swing.event.ListSelectionListener;
+import javax.swing.table.AbstractTableModel;
 import javax.swing.table.TableCellEditor;
-import javax.swing.table.AbstractTableModel;
 
 import org.openstreetmap.josm.data.Preferences.MapListSetting;
@@ -34 +33 @@
 import org.openstreetmap.josm.gui.preferences.PreferenceTabbedPane;
 import org.openstreetmap.josm.gui.preferences.advanced.AdvancedPreference.PrefEntry;
+import org.openstreetmap.josm.gui.widgets.JosmTextField;
 import org.openstreetmap.josm.tools.GBC;
 import org.openstreetmap.josm.tools.ImageProvider;
@@ -117 +117 @@
         table.getTableHeader().getColumnModel().getColumn(0).setHeaderValue(tr("Key"));
         table.getTableHeader().getColumnModel().getColumn(1).setHeaderValue(tr("Value"));
-        DefaultCellEditor editor = new DefaultCellEditor(new JTextField());
+        DefaultCellEditor editor = new DefaultCellEditor(new JosmTextField());
         editor.setClickCountToStart(1);
         table.setDefaultEditor(table.getColumnClass(0), editor);