()
| 1970 | } |
| 1971 | |
| 1972 | public void repaint() { |
| 1973 | super.repaint(); |
| 1974 | if (imagePanels!=null) { |
| 1975 | for (int i=0; i<imagePanels.size(); i++) |
| 1976 | ((ImagePanel)imagePanels.get(i)).repaint(); |
| 1977 | } |
| 1978 | } |
| 1979 | |
| 1980 | public void paint(Graphics g) { |
| 1981 | super.paint(g); |