(String pn)
| 64 | |
| 65 | |
| 66 | public void changeBackground(String pn) { |
| 67 | picname = pn; |
| 68 | if (theIMG != null) { |
| 69 | theIMG.flush(); |
| 70 | theIMG = null; |
| 71 | } |
| 72 | // if (theIMG != null) { |
| 73 | // theIMG.flush(); |
| 74 | // } |
| 75 | // theIMG = Toolkit.getDefaultToolkit().getImage(picname); |
| 76 | |
| 77 | SwingUtilities.updateComponentTreeUI(this); |
| 78 | repaint(); |
| 79 | } |
| 80 | |
| 81 | public void paint(Graphics g) { |
| 82 | update(g); |
no test coverage detected