2122232425262728293031
JButton changeFilter = new JButton(new ChangeMapFilterAction( mapInfo)); this.add(changeFilter); this.addSeparator(); JButton rescale = new JButton(new RescaleAction(mapInfo)); this.add(rescale); } JToggleButton showGrid = new JToggleButton(new ShowGridAction(mapInfo)); this.add(showGrid);