brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
64b2c5d1b4
gnome-shell/data/gnome-shell-extension-prefs.desktop.in.in

13 lines
358 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
Fixed typo in string
2012-02-09 04:09:33 -05:00
_Name=GNOME Shell Extensions 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