static void repaintFrames() {
for (int i = 0; i < frames.size(); i++) {
Frame frame = (Frame) frames.elementAt(i);
configColors(frame);
frame.repaint();
}
}
// --------------------------------------------------------------------------
// try to handle `event` generated by component
// --------------------------------------------------------------------------
public void actionPerformed(ActionEvent event) {
Assertion.test(event.getSource() == button, "unknown source");
setVisible(false);
parent.repaint();
}
public void repaint() {
graphCanvas_.repaint();
super.repaint();
}
