private void updateOverview(boolean pReset) {
if (pReset) {
overviewPanel.reset();
}
for (RETSourceElement element : getAllElements()) {
overviewPanel.addVillage(
new Point(element.getVillage().getX(), element.getVillage().getY()),
((!element.isIgnored()) ? Color.yellow : Color.lightGray));
}
overviewPanel.repaint();
}
private void fireViewStateChangeEvent(
java.awt.event.ItemEvent evt) { // GEN-FIRST:event_fireViewStateChangeEvent
if (jToggleButton1.isSelected()) {
overviewPanel.setOptimalSize();
jTableScrollPane.setViewportView(overviewPanel);
jPanel2.remove(overviewPanel);
} else {
jTableScrollPane.setViewportView(jVillageTable);
jPanel2.add(overviewPanel, BorderLayout.CENTER);
SwingUtilities.invokeLater(
new Runnable() {
public void run() {
jPanel2.updateUI();
}
});
}
} // GEN-LAST:event_fireViewStateChangeEvent
