Пакет: gnome-shell-extension-prefs (47.0-3)

[ Източник: gnome-shell  ]

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.

Други пакети, свързани с 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 (= 47.0-3)

  graphical shell for the GNOME desktop

• dep: gnome-shell-common (>= 47~)

  common files for the GNOME graphical shell

• rec: gnome-browser-connector

  GNOME Shell extensions integration for web browsers

Изтегляне на gnome-shell-extension-prefs

Изтегляне за всички налични архитектури

Архитектура	Големина на пакета	Големина след инсталиране	Файлове
i386	32,2 кБ	73,0 кБ	[списък на файловете]