Florian Müllner 8693a8a74c window-list: Externally adjust workspace menu ...

In order to use a PanelMenu.Button in the bottom bar, we have
to tweak its menu a bit.

We currently handle this inside the indicator, but that means the
code diverges from the original code in the workspace-indicator
extension.

Avoid this by using a small subclass that handles the adjustments.

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

2024-04-24 14:19:51 +00:00

..

apps-menu

apps-menu: Rename Applications to Apps

2024-02-06 19:40:30 +01:00

auto-move-windows

extensions: Stop using run_dispose()

2023-09-26 15:21:41 +00:00

drive-menu

extensions: Stop using ClutterContainer API

2023-11-14 16:26:06 +00:00

launch-new-instance

Make project compatible with Reuse Software spec

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

light-style

Make project compatible with Reuse Software spec

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

native-window-placement

Make project compatible with Reuse Software spec

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

places-menu

extensions: Stop using ClutterContainer API

2023-11-14 16:26:06 +00:00

screenshot-window-sizer

screenshot-window-sizer: Add additional size

2024-04-20 14:33:40 +00:00

system-monitor

system-monitor: Fix net speed

2024-03-16 00:50:59 +00:00

user-theme

extensions: Stop using run_dispose()

2023-09-26 15:21:41 +00:00

window-list

window-list: Externally adjust workspace menu

2024-04-24 14:19:51 +00:00

windowsNavigator

extensions: Stop using ClutterContainer API

2023-11-14 16:26:06 +00:00

workspace-indicator

workspace-indicator: Allow overriding base style class

2024-04-24 14:19:51 +00:00

.lock

extensions: Pick up gettext domain from metadata

2021-08-11 18:42:43 +02:00

meson.build

Make project compatible with Reuse Software spec

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

meson.build.template

Make project compatible with Reuse Software spec

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