(boolean newState)
| 196 | |
| 197 | |
| 198 | void setCollapsed(boolean newState) { |
| 199 | if (collapsed != newState) { |
| 200 | collapsed = newState; |
| 201 | editor.footer.setVisible(!newState); |
| 202 | splitPane.resetToPreferredSizes(); |
| 203 | } |
| 204 | } |
| 205 | |
| 206 | |
| 207 | void updateMouse(MouseEvent e, boolean pressed) { |
no test coverage detected