diff options
| author | Andreas Kling <awesomekling@gmail.com> | 2018-10-13 14:26:37 +0200 |
|---|---|---|
| committer | Andreas Kling <awesomekling@gmail.com> | 2018-10-13 14:26:37 +0200 |
| commit | 6ea8ce500c535797d19e853daad616d414f69523 (patch) | |
| tree | 1ec153a2b27e1a6aa47a8fe336969a0301fae2cf /Widgets/WindowManager.h | |
| parent | 969334505dbe7115e897a3102ecf234d7c3c4644 (diff) | |
| download | serenity-6ea8ce500c535797d19e853daad616d414f69523.zip | |
Use HashMap::remove() in some places that I wanted it.
Diffstat (limited to 'Widgets/WindowManager.h')
| -rw-r--r-- | Widgets/WindowManager.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Widgets/WindowManager.h b/Widgets/WindowManager.h index 08995bc00d..cb43e393f5 100644 --- a/Widgets/WindowManager.h +++ b/Widgets/WindowManager.h @@ -14,6 +14,7 @@ class WindowManager : public Object { public: static WindowManager& the(); void addWindow(Window&); + void removeWindow(Window&); void paintWindowFrames(); void notifyTitleChanged(Window&); |