Search results
Documentation related to gnome-shell-extension-prefs
Description: tool to enable / disable GNOME Shell extensions
This package contains a tool which users who use Shell extensions can use to
toggle them on and off, and access their preferences.
Homepage: https://wiki.gnome.org/Projects/GnomeShell
copyright | Debian changelog
Other documents:
Other packages built from the same source: