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