Пакунок: gnome-shell-extension-prefs (43.7-2) [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.

Інші пакунки пов'язані з gnome-shell-extension-prefs

• dep: gir1.2-adw-1

  GObject introspection files for libadwaita

• dep: gir1.2-gtk-4.0

  Бібліотека графічного користувацького інтерфейсу GTK - привʼязка gir

• dep: gjs (>= 1.73.1)

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

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

  Графічна оболонка для стільниці GNOME

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

  Загальні файли для графічної оболонки GNOME

• rec: chrome-gnome-shell

  Пакунок недоступний

Завантажити gnome-shell-extension-prefs

Завантаження для всіх доступних архітектур

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
ppc64 (unofficial port)	26.6 kB	58.0 kB	[список файлів]