mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
window layouter: let focus follow the pointer
This commit is contained in:
committed by
Christian Helmuth
parent
0cc314399c
commit
a3d78d3779
@@ -549,6 +549,14 @@ void Floating_window_layouter::Main::handle_hover_update(unsigned)
|
||||
|
||||
hovered_window_id = id;
|
||||
hovered_element = hovered;
|
||||
|
||||
/* XXX read from config */
|
||||
bool const focus_follows_pointer = true;
|
||||
if (id && focus_follows_pointer) {
|
||||
focused_window_id = id;
|
||||
generate_focus_model();
|
||||
}
|
||||
|
||||
generate_window_layout_model();
|
||||
}
|
||||
} catch (...) {
|
||||
|
||||
Reference in New Issue
Block a user