brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
gnome-shell/data/org.gnome.Extensions.desktop.in.in

10 lines
289 B
Plaintext
Raw Permalink Normal View History

Add a new tool, 'gnome-shell-extension-prefs', which can configure extensions A new tool, 'gnome-shell-extension-prefs' can load a new entry point from extensions, 'prefs.js', which has an entry point to return a GTK+ widget. This allows extensions to have their own preferences dialog, without each extension needing to ship its own Python script and .desktop file. https://bugzilla.gnome.org/show_bug.cgi?id=668429
2012-01-18 21:21:56 -05:00
[Desktop Entry]
Type=Application
extensionPrefs: Rename to Extensions ... and make the application user-visible. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2020-01-24 17:00:24 +01:00
Name=Extensions
extensionPrefs: Add a translator comment to the .desktop file So that Damned Lies filters out the Icon key from translation. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/980
2020-02-05 20:38:29 +01:00
# Translators: Do NOT translate or transliterate this text (this is an icon file name)!
extensionPrefs: Add application icon We are about to make the tool a user-visible application, so we need an icon. Add one (plus its symbolic variant). https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2020-01-24 18:09:34 +01:00
Icon=org.gnome.Extensions
build: Say good-bye to intltool intltool is unmaintained nowadays while upstream gettext gained support for formats like GSettings schemas and .desktop files, and offers a mechanism to teach it about other XML formats not yet supported out of the box which we can use for the rest. So there's nothing stopping us, just make the switch ... https://bugzilla.gnome.org/show_bug.cgi?id=769074
2016-07-21 22:42:19 +02:00
Comment=Configure GNOME Shell Extensions
Add a new tool, 'gnome-shell-extension-prefs', which can configure extensions A new tool, 'gnome-shell-extension-prefs' can load a new entry point from extensions, 'prefs.js', which has an entry point to return a GTK+ widget. This allows extensions to have their own preferences dialog, without each extension needing to ship its own Python script and .desktop file. https://bugzilla.gnome.org/show_bug.cgi?id=668429
2012-01-18 21:21:56 -05:00
Exec=@bindir@/gnome-shell-extension-prefs %u
Categories=GNOME;GTK;
OnlyShowIn=GNOME;
Reference in New Issue Copy Permalink