diff options
Diffstat (limited to 'Servers/WindowServer/WSMenuManager.h')
| -rw-r--r-- | Servers/WindowServer/WSMenuManager.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Servers/WindowServer/WSMenuManager.h b/Servers/WindowServer/WSMenuManager.h index 4fd9e1d544..641eee428a 100644 --- a/Servers/WindowServer/WSMenuManager.h +++ b/Servers/WindowServer/WSMenuManager.h @@ -32,6 +32,7 @@ public: WSMenu* current_menu() { return m_current_menu.ptr(); } void set_current_menu(WSMenu*, bool is_submenu = false); void open_menu(WSMenu&); + void toggle_menu(WSMenu&); WSMenuBar* current_menubar() { return m_current_menubar.ptr(); } void set_current_menubar(WSMenuBar*); |