Changeset 3300 in josm for trunk/src/org/openstreetmap/josm/gui
- Timestamp:
- 2010-06-03T09:19:19+02:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/dialogs/FilterDialog.java
r3216 r3300 24 24 import javax.swing.table.TableCellRenderer; 25 25 26 import org.openstreetmap.josm.Main; 26 27 import org.openstreetmap.josm.actions.search.SearchAction; 27 28 import org.openstreetmap.josm.data.osm.Filter; … … 40 41 * @author Petr_Dlouhý 41 42 */ 42 public class FilterDialog extends ToggleDialog implements Listener 43 public class FilterDialog extends ToggleDialog implements Listener, TableModelListener { 43 44 44 45 private JTable userTable; … … 68 69 DatasetEventManager.getInstance().removeDatasetListener(listenerAdapter); 69 70 filters.clearFilterFlags(); 71 Main.map.mapView.repaint(); 70 72 } 71 73 … … 138 140 tr("Hide elements"), 139 141 null, 140 tr("Apply also for children"),141 142 tr("Inverse filter"), 142 143 tr("Filter mode") … … 169 170 userTable.getColumnModel().getColumn(3).setMaxWidth(1); 170 171 userTable.getColumnModel().getColumn(4).setMaxWidth(1); 171 userTable.getColumnModel().getColumn(5).setMaxWidth(1);172 172 173 173 userTable.getColumnModel().getColumn(0).setResizable(false); … … 175 175 userTable.getColumnModel().getColumn(3).setResizable(false); 176 176 userTable.getColumnModel().getColumn(4).setResizable(false); 177 userTable.getColumnModel().getColumn(5).setResizable(false);178 177 179 178 userTable.setDefaultRenderer(Boolean.class, new BooleanRenderer()); … … 215 214 216 215 public void tableChanged(TableModelEvent e){ 217 setTitle(tr("Filter Hidden:{0} Disabled:{1}", filters. hiddenCount, filters.disabledCount));216 setTitle(tr("Filter Hidden:{0} Disabled:{1}", filters.disabledAndHiddenCount, filters.disabledCount)); 218 217 } 219 218
Note:
See TracChangeset
for help on using the changeset viewer.