gnome-shell-extension-prefs : Focal (20.04) : Ubuntu

Binary package “gnome-shell-extension-prefs” in ubuntu focal

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.

Published versions