Package: gnome-shell-extension-manager (0.4.2-1) [debports]

[ Source:  ]

utilità per gestire estensioni di GNOME Shell

Il gestore delle estensioni della shell di GNOME è uno strumento per aiutare a gestire le estensioni della shell di GNOME installate.

Other Packages Related to gnome-shell-extension-manager

• dep: dconf-gsettings-backend

  semplice sistema di archiviazione della configurazione - backend GSettings

  or gsettings-backend

  virtual package provided by dconf-gsettings-backend, xfconf-gsettings-backend

• dep: gjs

  collegamenti JavaScript basati su Mozilla per la piattaforma GNOME (strumento CLI)

• dep: gnome-shell

  shell grafica per il desktop GNOME

• dep: libadwaita-1-0 (>= 1.2~alpha)

  libreria con widget GTK per telefoni cellulari

• dep: libc6 (>= 2.34)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libglib2.0-0 (>= 2.77.0)

  libreria GLib di routine in C - pacchetto di transizione

• dep: libgtk-4-1 (>= 4.6.0)

  libreria per interfacce utente grafiche GTK

• dep: libjson-glib-1.0-0 (>= 1.5.2)

  libreria di manipolazione JSON GLib

• dep: libsoup-3.0-0 (>= 3.0.3)

  libreria HTTP implementata in C -- libreria condivisa

• dep: libtext-engine-0.1-0 (>= 0.1.1)

  Rich-text editing framework for GTK 4

• dep: unzip

  de-archiviatore per file .zip

Download gnome-shell-extension-manager

Download for all available architectures

Architecture	Package Size	Installed Size	Files
sparc64 (unofficial port)	101.8 kB	1,434.0 kB	[list of files]