| commit | 5d380b63867e347a3212398238dbe95d3b227d35 | |
| author | Jiri Svoboda <jiri@wiwaxia> | |
| Fri, 20 Jan 2023 19:50:21 +0000 (20 20:50 +0100) | ||
| committer | Jiri Svoboda <jiri@wiwaxia> | |
| Fri, 20 Jan 2023 11:50:41 +0000 (20 12:50 +0100) | ||
| tree | bc77c793a05e6013cbbeae902d8bd70fa8b76a91 | treesnapshot (tar.gz zip) |
| parent | 6828a56f6f3bca46ff6f9dee859fbd15fd17292e | commitdiff |
Create menu windows in the correct seat
Add a mechanism to set the seat of a new display window, UI window,
UI popup - input device ID. This is set to the ID of the device which
activated the menu (mouse, keyboard). The display server determines
the correct seat from there.
This makes sure clicking outside closes the correct pop-up window.
Add a mechanism to set the seat of a new display window, UI window,
UI popup - input device ID. This is set to the ID of the device which
activated the menu (mouse, keyboard). The display server determines
the correct seat from there.
This makes sure clicking outside closes the correct pop-up window.
20 files changed: