public void windowClosing(WindowEvent ev) { panel.getRepaintThread().safeSuspend(); } public void windowDeiconified(WindowEvent e) {
public void windowDeiconified(WindowEvent e) { panel.getRepaintThread().safeResume(); } public void windowIconified(WindowEvent e) {
public void windowClosing(WindowEvent ev) { panel.getRepaintThread().safeSuspend(); } public void windowDeiconified(WindowEvent e) {
public void windowIconified(WindowEvent e) { panel.getRepaintThread().safeSuspend(); } });
public void windowIconified(WindowEvent e) { panel.getRepaintThread().safeSuspend(); } });
public void actionPerformed(ActionEvent e) { panel.getRepaintThread().safeSuspend(); dispose(); } }
public void windowActivated(WindowEvent e) { RepaintThread t = panel.getRepaintThread(); if (!t.isAlive()) { t.start(); } else { t.safeResume(); } } public void windowClosing(WindowEvent ev) {
public void actionPerformed(ActionEvent e) { panel.getRepaintThread().safeSuspend(); dispose(); } }
public void windowDeiconified(WindowEvent e) { panel.getRepaintThread().safeResume(); } public void windowIconified(WindowEvent e) {
public void windowActivated(WindowEvent e) { RepaintThread t = panel.getRepaintThread(); if (!t.isAlive()) { t.start(); } else { t.safeResume(); } } public void windowClosing(WindowEvent ev) {