gnome-shell-extensions src 0f7c26f454741396494dd01d2db76a49ff6733f9f2af7a6082306315f4726749 Modify and extend GNOME Shell functionality and behavior GNOME Shell Extensions is a collection of extensions providing additional and optional functionality to GNOME Shell. Enabled extensions: * alternate-tab * apps-menu * auto-move-windows * drive-menu * launch-new-instance * native-window-placement * places-menu * screenshot-window-sizer * systemMonitor * user-theme * window-list * overrides * windowsNavigator * workspace-indicator angrypenguin <angrypenguinpoland@gmail.com> https://live.gnome.org/GnomeShell/Extensions