[ ソース: gnome-shell ]
パッケージ: gnome-shell-extension-prefs (47.0-3)
gnome-shell-extension-prefs に関するリンク
Debian の資源:
gnome-shell ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [wiki.gnome.org]
類似のパッケージ:
- gnome-shell-extension-caffeine
- gnome-shell-extension-espresso
- gnome-shell-extensions-extra
- gnome-shell-extensions
- gnome-shell-extension-xrdesktop
- gnome-shell-extension-top-icons-plus
- gnome-shell-extension-log-out-button
- gnome-shell-extension-light-style
- gnome-shell-extension-mediaplayer
- gconf-gsettings-backend
- gnome-shell-extension-drive-menu
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 (= 47.0-3)
- GNOME デスクトップ向けのグラフィカルなシェル
-
- dep: gnome-shell-common (>= 47~)
- GNOME のグラフィカルなシェルの共通ファイル
-
- rec: gnome-browser-connector
- GNOME Shell extensions integration for web browsers