gnome-shell/gnome-shell-extension-prefs.desktop.in.in at e211c68a5cbfc5b640c7de060094e462b1082ba3 - gnome-shell - Subgraph Gitea

isa/gnome-shell

Florian Müllner 75f8279a19 extensionPrefs: Tweak UI

Update according to the latest mockups:
 - don't use a border around the list as specified
   by the latest HIG version
 - use more generous spacing between controls
 - allow extension descriptions to take up two lines
 - drop GNOME branding from the window title
 - make the app name consistent with the window title

https://bugzilla.gnome.org/show_bug.cgi?id=778672

2017-02-15 23:20:14 +01:00

13 lines

338 B

Plaintext

Raw Blame History

 [Desktop Entry]
 Type=Application
 Name=Shell Extensions
 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