Package: gnome-shell-extension-manager (0.4.0-1)

[ Source: gnome-shell-extension-manager  ]

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.

Tags: Interface Toolkit: GTK

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, gconf-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.65.1)

  libreria GLib di routine in C

• 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
armhf	98.7 kB	540.0 kB	[list of files]