gnome-shell-extensions src 44ca6cea910c9b2658ae843915afa7eb7bb747f69450a919e23c5d060c270cfa 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