Changeset 1677 in josm for trunk/src/org/openstreetmap/josm/gui/preferences
- Timestamp:
- 2009-06-17T10:04:22+02:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/AdvancedPreference.java
r1673 r1677 43 43 JPanel p = gui.createPreferenceTab("advanced", tr("Advanced Preferences"), 44 44 tr("Setting Preference entries directly. Use with caution!"), false); 45 45 46 46 txtFilter = new JTextField(); 47 47 JLabel lbFilter = new JLabel(tr("Search: ")); … … 53 53 action(); 54 54 } 55 55 56 56 public void insertUpdate(DocumentEvent e) { 57 57 action(); 58 58 } 59 59 60 60 public void removeUpdate(DocumentEvent e) { 61 61 action(); 62 62 } 63 63 64 64 private void action() { 65 65 dataToModel(); … … 152 152 } 153 153 } 154 154 155 155 private void dataToModel() { 156 156 while (model.getRowCount() > 0) {
Note:
See TracChangeset
for help on using the changeset viewer.