diff options
| author | Andreas Kling <awesomekling@gmail.com> | 2018-10-14 01:23:01 +0200 |
|---|---|---|
| committer | Andreas Kling <awesomekling@gmail.com> | 2018-10-14 01:23:01 +0200 |
| commit | 959a1b0750328b59b25953bec7a9e8da95b3e058 (patch) | |
| tree | b86c27ac2592d2083109493ac0cf056c526180a9 /Widgets/WindowManager.h | |
| parent | 3ebea059961ec027ee0298e38201aa43f7e9451c (diff) | |
| download | serenity-959a1b0750328b59b25953bec7a9e8da95b3e058.zip | |
Close the MsgBox when clicking the OK button.
This feels vaguely crashy. I haven't tested window/widget destruction
before so there's sure to be bugs.
Diffstat (limited to 'Widgets/WindowManager.h')
| -rw-r--r-- | Widgets/WindowManager.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Widgets/WindowManager.h b/Widgets/WindowManager.h index f53c29740e..02073ba3cb 100644 --- a/Widgets/WindowManager.h +++ b/Widgets/WindowManager.h @@ -27,6 +27,10 @@ public: Window* activeWindow() { return m_activeWindow.ptr(); } void setActiveWindow(Window*); + bool isVisible(Window&) const; + + void repaint(); + private: WindowManager(); ~WindowManager(); |