mirror of
https://github.com/RGBCube/serenity
synced 2025-07-27 03:47:35 +00:00
Taskbar: Rename start_menu to system_menu
The main menu in GUI (the one in the lower left side of screen by default) was called start_menu in some parts of the code and system_menu in others. In the documentation, it was referred to as "system menu". So, in order to be consistent, these variables are all renamed to system_menu
This commit is contained in:
parent
9f571e0dae
commit
7456a84e68
5 changed files with 11 additions and 11 deletions
|
@ -210,7 +210,7 @@ public:
|
|||
|
||||
void did_popup_a_menu(Badge<Menu>);
|
||||
|
||||
void start_menu_doubleclick(Window& window, MouseEvent const& event);
|
||||
void system_menu_doubleclick(Window& window, MouseEvent const& event);
|
||||
bool is_menu_doubleclick(Window& window, MouseEvent const& event) const;
|
||||
|
||||
void minimize_windows(Window&, bool);
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue