isa/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1496ba0bbd
gnome-shell/data/gnome-shell-extension-prefs.desktop.in.in

13 lines
357 B
Plaintext
Raw 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
Revert "Fixed typo in string" This reverts commit e8bfd990e44e40184249936b0bf46097660cb540. The change: "GNOME Shell Extension Preferences" to "GNOME Shell Extensions Preferences" was incorrect.
2012-02-22 18:49:13 -05:00
_Name=GNOME Shell Extension Preferences
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
_Comment=Configure GNOME Shell Extensions
Exec=@bindir@/gnome-shell-extension-prefs %u
X-GNOME-Bugzilla-Bugzilla=GNOME
X-GNOME-Bugzilla-Product=gnome-shell
X-GNOME-Bugzilla-Component=extensions
X-GNOME-Bugzilla-Version=@VERSION@
Categories=GNOME;GTK;
OnlyShowIn=GNOME;
NoDisplay=true
Reference in New Issue Copy Permalink