gnome-shell-extensions noarch 399e7ee00700249f7608aa87d063dfdff5049f5cd3811a981b9240f4fd9c82b4 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