Andreas Kling
419e986dcc
WorkspacePicker: Hide tray applet entirely when there's only 1 workspace
...
Instead of collapsing to a 1x1 applet, we now hide the applet window
entirely, which stops it from taking up space in the system tray.
2022-08-01 10:29:53 +02:00
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
networkException
b3f8734e22
WorkspacePicker: Use full words for some variable names
...
This patch updates the spelling of "col" to be "column" and
"v{col,row}s" to be spelled out as "workspace_{row,column}s".
2022-07-22 21:54:20 +01:00
Filiph Sandström
a1ddc44c07
WorkspacePicker: Hide applet if size == 0
2022-07-13 00:51:48 +02:00
Olivier De Cannière
6c202ee4a9
LibGUI: Fix typo in ConnectionToWindowManagerServer
2022-06-01 19:31:34 +02:00
Itamar
af132fdbd1
Userland: Rename WindowManagerServerConnection
...
Rename WindowManagerServerConnection=>ConnectionToWindowManagerServer.
This was done with CLion's automatic rename feature.
2022-02-25 22:35:12 +01:00
Lenny Maiorani
f2d8c488ec
Userland/Applets: Use default constructors/destructors
...
https://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines#cother-other-default-operation-rules
"The compiler is more likely to get the default semantics right and
you cannot implement these functions better than the compiler."
2022-02-13 21:27:17 +00:00
Dmitry Petrov
1662213737
Userland: Add horizontal mouse scroll support
2022-01-20 10:37:52 +01:00
Andreas Kling
51484bec82
Applets: Rename DesktopPicker => WorkspacePicker
...
This is consistent with the rest of the system.
2021-11-23 15:44:59 +01:00
