gnome-shell/data
Florian Müllner efde11a0f3 theme: Make menu ornament slightly wider
The existing width works well enough for a narrow character like the dot,
but doesn't leave any whitespace for a wider one like the checkmark.

https://bugzilla.gnome.org/show_bug.cgi?id=741366
2015-07-30 17:31:33 +02:00
..
theme theme: Make menu ornament slightly wider 2015-07-30 17:31:33 +02:00
50-gnome-shell-system.xml.in data: Change default shortcut for opening the message list 2015-02-27 15:02:27 +01:00
gnome-shell-extension-prefs.desktop.in.in
gnome-shell-overrides.convert
gnome-shell-theme.gresource.xml HighContrast: provide more contrasty switches 2015-04-15 19:35:51 +02:00
gnome-shell-wayland.desktop.in.in
gnome-shell.desktop.in.in
Makefile.am build: Dist theme documentation/helpers 2015-03-04 21:17:31 +01:00
org.gnome.shell.gschema.xml.in.in Fix translator comment 2015-07-15 22:43:23 +02:00
org.gnome.Shell.PortalHelper.desktop.in
org.gnome.Shell.PortalHelper.service.in
org.gnome.Shell.Screencast.xml
org.gnome.Shell.Screenshot.xml
org.gnome.ShellSearchProvider2.xml
org.gnome.ShellSearchProvider.xml
perf-background.xml.in