gnome-shell/data/org.gnome.Extensions.desktop.in.in

[Desktop Entry]
Type=Application
Name=Extensions
# Translators: Do NOT translate or transliterate this text (this is an icon file name)!
Icon=org.gnome.Extensions
Comment=Configure GNOME Shell Extensions
Exec=@bindir@/gnome-shell-extension-prefs %u
Categories=GNOME;GTK;
OnlyShowIn=GNOME;
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-19 02:21:56 +00: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 16:00:24 +00: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 19:38:29 +00: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 17:09:34 +00: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 20:42:19 +00: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-19 02:21:56 +00:00			`Exec=@bindir@/gnome-shell-extension-prefs %u`
			`Categories=GNOME;GTK;`
			`OnlyShowIn=GNOME;`