Paket: gnome-shell-extension-prefs (43.7-2) [debports]

[ Källkod:  ]

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.

Andra paket besläktade med gnome-shell-extension-prefs

• dep: gir1.2-adw-1

  GObject introspection files for libadwaita

• dep: gir1.2-gtk-4.0

  GTK graphical user interface library -- gir bindings

• dep: gjs (>= 1.73.1)

  Mozilla-based javascript bindings for the GNOME platform (cli tool)

• dep: gnome-shell (= 43.7-2)

  graphical shell for the GNOME desktop

• dep: gnome-shell-common (= 43.7-2)

  common files for the GNOME graphical shell

• rec: chrome-gnome-shell

  Paketet inte tillgängligt

Hämta gnome-shell-extension-prefs

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
ppc64 (inofficiell anpassning)	26,6 kbyte	58,0 kbyte	[filförteckning]