networkException 7d177b7210 WorkspacePicker: Immediately update active workspace on click or scroll ... This patch makes the picker applet react instantly to a click on a workspace or scroll on the widget, instead of waiting for an event from WindowServer and as such until the switching animation has ended. This synchronises the switching with the overlay shown. Note that WindowServer events will still get handled in case the workspace were to be updated from somewhere else.		2022-07-22 21:54:20 +01:00
..
Audio	LibAudio: Rename ConnectionFromClient to ConnectionToServer	2022-07-19 11:17:45 +01:00
ClipboardHistory	Everywhere: Replace single-char StringView op. arguments with chars	2022-07-12 23:11:35 +02:00
Keymap	Keymap+WindowServer: Add context menu to keymap applet	2022-07-21 16:40:47 +02:00
Network	Everywhere: Add sv suffix to strings relying on StringView(char const*)	2022-07-12 23:11:35 +02:00
ResourceGraph	Kernel+Userland: Rename prefix of user_physical => physical	2022-07-14 23:27:46 +02:00
WorkspacePicker	WorkspacePicker: Immediately update active workspace on click or scroll	2022-07-22 21:54:20 +01:00
CMakeLists.txt	WindowServer+Keymap+LibGUI: Add widget to display current keymap	2022-02-03 00:47:22 +01:00