Package : gnome-shell-extensions
Package details
Summary: Modify and extend GNOME Shell functionality and behavior
Description:
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
Description:
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.