Package : gnome-shell-extensions

Package details

Summary: 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
* alternative-status-menu
* dock
* windowsNavigator
* user-theme
* auto-move-windows
* drive-menu
* places-menu
* native-window-placement
* xrandr-indicator
* systemMonitor
* apps-menu
* gajim
* workspace-indicator
* example (simple example for writing extensions)

Maintainer: nobody

List of RPMs

    No RPM found for gnome-shell-extensions using the current filters, try other values.