public void paint(Graphics g) {
worldMap.getGraphics().drawImage(backBufferImage, 0, 0, this);
// hideous hack
statusTitle.repaint();
fileTitle.repaint();
fileProgress.repaint();
iterationTitle.repaint();
iterationProgress.repaint();
cycleTitle.repaint();
cycleProgress.repaint();
currentTitle.repaint();
commentTitle.repaint();
commentLabel.repaint();
phaseTitle.repaint();
phaseLabel.repaint();
turnTitle.repaint();
turnProgress.repaint();
inspectorTitle.repaint();
showPaths.repaint();
playButton.repaint();
stepButton.repaint();
endButton.repaint();
inspectorScrollPane.repaint();
seperator1.repaint();
seperator2.repaint();
seperator3.repaint();
seperator4.repaint();
cycleProgress.repaint();
}
@Override
public void focusLost(FocusEvent e) {
super.focusLost(e);
AbstractButton b = (AbstractButton) e.getSource();
b.getModel().setArmed(false);
b.repaint();
}
public void propertyChange(PropertyChangeEvent evt) {
String name = evt.getPropertyName();
if (name.equals(VERTICAL_POSITION)
|| name.equals(HORIZONTAL_POSITION)
|| name.equals(SHAPE)
|| name.equals("JButton.segmentPosition")) { // see Apple Tech Note 2196
AbstractButton button = (AbstractButton) evt.getSource();
ButtonUI ui = button.getUI();
if (ui instanceof FilledButtonUI) {
FilledButtonUI s = (FilledButtonUI) ui;
s.updateLayout(button, getButtonInfo(button));
button.invalidate();
button.repaint();
}
}
}
public void mouseMoved(MouseEvent e) {
boolean isRollover = isMouseOver(b);
if (AlgebraButtonUI.this.isRollover != isRollover) {
b.repaint();
}
}
public void focusLost(FocusEvent e) {
AbstractButton b = (AbstractButton) e.getSource();
b.repaint();
}
public void componentResized(ComponentEvent e) {
AbstractButton button = (AbstractButton) e.getSource();
ButtonInfo info = getButtonInfo(button);
info.ui.updateLayout(button, info);
button.repaint();
}
