()
| 181 | |
| 182 | |
| 183 | public void rebuild() { |
| 184 | updateCenterPanel(); |
| 185 | // After replacing the tree/panel, this calls the layout manager, |
| 186 | // otherwise it'll just leave a frozen-looking component until |
| 187 | // the window is closed and re-opened. |
| 188 | getContentPane().validate(); |
| 189 | } |
| 190 | |
| 191 | |
| 192 | public void setVisible() { |
nothing calls this directly
no test coverage detected