Florian Müllner d1674c5f75 workspace-indicator: Update workspace names in-place ...

There's no good reason to rebuild the entire menu on workspace names
changes, we can simply update the labels in-place.

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

2019-07-19 13:24:50 +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: Show previews in workspace switcher

2019-07-19 13:16:40 +02:00

windowsNavigator

cleanup: Use an extension object instead of globals

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

workspace-indicator

workspace-indicator: Update workspace names in-place

2019-07-19 13:24:50 +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