(WindowEvent event)
| 823 | public void windowOpened(WindowEvent event) { } |
| 824 | public void windowClosed(WindowEvent event) { } |
| 825 | public void windowClosing(WindowEvent event) { |
| 826 | box.setVisible(false); |
| 827 | pageCanvas.requestFocusInWindow(); |
| 828 | } |
| 829 | }); |
| 830 | |
| 831 | String help[] = { |