Florian Müllner d5f617b3e2 window-list: Move additional padding into buttons ...

Commit ca1c4b0f9e added additional padding, which means that the
interactive area of buttons no longer extends to the bottom of
the screen.

Address this by moving the new padding into the buttons themselves.
That restores the Fittsability of the bottom bar, without affecting
the cleaner visual appearance.

Close https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/453

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/291>

2023-12-01 20:02:51 +01:00

..

extension.js

window-list: Complete move to connectObject()

2023-10-09 15:36:39 +02:00

meson.build

Make project compatible with Reuse Software spec

2023-08-17 11:51:48 +00:00

metadata.json.in

meta: Update description note for reporting bugs

2017-12-01 21:04:02 +01:00

org.gnome.shell.extensions.window-list.gschema.xml

Make project compatible with Reuse Software spec

2023-08-17 11:51:48 +00:00

prefs.js

Make project compatible with Reuse Software spec

2023-08-17 11:51:48 +00:00

stylesheet-dark.css

window-list: Move additional padding into buttons

2023-12-01 20:02:51 +01:00

stylesheet-light.css

window-list: Move additional padding into buttons

2023-12-01 20:02:51 +01:00

windowPicker.js

Make project compatible with Reuse Software spec

2023-08-17 11:51:48 +00:00

workspaceIndicator.js

window-list: Initialize preview visibility

2023-09-29 21:35:33 +02:00