Package: gnome-shell-extension-prefs (3.36.2-1) [debports]

[ Source:  ]

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.

Other Packages Related to gnome-shell-extension-prefs

• dep: gnome-shell (= 3.36.2-1)

  camada gráfica para a área de trabalho GNOME

• dep: gnome-shell-common (= 3.36.2-1)

  arquivos comuns para o shell gráfico do GNOME

• rec: chrome-gnome-shell

  Package not available

Download gnome-shell-extension-prefs

Download for all available architectures

Architecture	Package Size	Installed Size	Files
m68k (unofficial port)	37.5 kB	58.0 kB	[list of files]