gnome-shell-extensions

Files

Adam Goode 3bb0897bc1 window-list: Don't use panel-button class for the workspace indicator

The panel-button introduces some horizontal padding which is insensitive
to scroll events. Without this change, there is a small dead zone in the
corner that cannot be used to switch workspaces with the mouse wheel.

For useMenu mode, this has the effect of removing all of the horizontal
space to the edge of the screen, so I add some back with the
status-label-bin margin.

This a is similar change to 8bad8a3b63.

Fixes #315.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/171>
(cherry picked from commit d6648b0b5c)

2021-06-10 13:38:47 +02:00

apps-menu

extensions: Remove arrows from top bar menus

2021-01-26 16:59:43 +01:00

auto-move-windows

auto-move-windows: Don't move windows already on all workspaces

2021-01-28 16:33:50 +08:00

drive-menu

drive-menu: Remove unused style class

2021-02-24 00:45:58 +00:00

launch-new-instance

cleanup: Fix stray/missing spaces