Florian Müllner a5f347ba10 window-list: Improve workspace label styling ...

The border currently looks off - it extends all the way vertically
and leaves zero spacing to the label horizontally. Fix both issues
by setting appropriate padding/margins.

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/70

2019-07-19 13:11:09 +02:00

..

apps-menu

apps-menu: Add drop-shadow to application icons

2019-07-18 11:17:04 +00:00

auto-move-windows

cleanup: Re-order imports

2019-06-28 21:51:38 +02:00

drive-menu

cleanup: Re-order imports

2019-06-28 21:51:38 +02:00

launch-new-instance

extensions: Mark exported symbols

2019-01-28 06:51:20 +01:00

native-window-placement

cleanup: Re-order imports

2019-06-28 21:51:38 +02:00

places-menu

places-menu: Don't hardcode position

2019-06-28 20:55:28 +00:00

screenshot-window-sizer

cleanup: Re-order imports

2019-06-28 21:51:38 +02:00

user-theme

cleanup: Re-order imports

2019-06-28 21:51:38 +02:00

window-list

window-list: Improve workspace label styling

2019-07-19 13:11:09 +02:00

windowsNavigator

cleanup: Use an extension object instead of globals

2019-04-08 06:00:29 +00:00

workspace-indicator

cleanup: Re-order imports

2019-06-28 21:51:38 +02:00

meson.build

extensions: Drop Convenience library

2019-02-06 20:17:59 +01:00

meson.build.template

docs: Update instructions for extension additions for meson

2017-12-01 17:43:21 +01:00