Makes Widget not visible and triggers HideEvent if changed. */
| 54 | } |
| 55 | /** Makes Widget not visible and triggers HideEvent if changed. */ |
| 56 | void hide() { |
| 57 | setVisible(false); |
| 58 | } |
| 59 | |
| 60 | /** Requests this Widget's parent to delete it in the next step(). */ |
| 61 | void requestDelete(); |
no outgoing calls
no test coverage detected