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