mirror of
https://github.com/RGBCube/serenity
synced 2025-07-26 14:47:35 +00:00
WindowServer: Update window switcher when moving window to front
If the window switcher is up when a window is made frontmost (usually by clicking on it), the window will now become the selected window in the switcher. This still has a slight feeling of "hmm" but is definitely better than what we had before.
This commit is contained in:
parent
ba135dc0c0
commit
4c620dea83
3 changed files with 18 additions and 0 deletions
|
@ -68,6 +68,8 @@ public:
|
|||
int padding() const { return 8; }
|
||||
int item_padding() const { return 8; }
|
||||
|
||||
void select_window(Window&);
|
||||
|
||||
Window* selected_window();
|
||||
|
||||
Window* switcher_window() { return m_switcher_window.ptr(); }
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue