gnome-shell/js
Razze 55a37ac992 Let users use the other mouse button to switch
As users can have different primary mouse buttons (left vs right) it
might happen, that a user with a different
preference wants to switch. Currently they need
to use the mouse button, that the current
user prefers.

This change enables users to use either the left or right button.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1972>
2022-02-11 12:33:25 +00:00
..
dbusServices dbusServices: Allow to persist services via environment 2022-02-10 13:14:45 +00:00
gdm js: Change main.pushModal to return the Clutter.Grab handle 2022-01-29 01:16:30 +01:00
misc util: Restore the NOFILE limit before spawning apps 2022-02-08 08:25:25 +00:00
perf perf: Add basic run tests 2020-08-12 15:43:39 +00:00
portalHelper portalHelper: Replace Soup.URI with GLib.Uri 2021-08-25 01:54:07 +02:00
ui Let users use the other mouse button to switch 2022-02-11 12:33:25 +00:00
js-resources.gresource.xml gdm: Add AuthList control 2022-01-13 15:03:02 -05:00
meson.build extensions-app: Move Extensions app to new subproject 2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml js: Remove unused files from resources 2020-03-09 13:18:48 +00:00