Florian Müllner f8cc8f1dc1 theme: Use font-relative sizes for menu widths ... For menus, it makes more sense to pick a width that fits a reasonable amount of content rather than a fixed amount of screen estate, so use font-relative sizes instead of pixel values. https://bugzilla.gnome.org/show_bug.cgi?id=754581		2015-10-15 19:56:44 +02:00
..
theme	theme: Use font-relative sizes for menu widths	2015-10-15 19:56:44 +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	data: Do not convert 'button-layout' setting	2014-06-10 12:32:28 +02:00
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-wayland.desktop: Drop mutter-launch from Exec line	2014-05-21 11:11:27 +02:00
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	portalHelper: Change user facing name to "Network Login"	2014-11-07 10:09:12 +01:00
org.gnome.Shell.PortalHelper.service.in	Add a helper to handle captive portal logins	2014-06-26 19:54:58 +02:00
org.gnome.Shell.Screencast.xml	DBus: Remove flash argument	2014-06-23 17:17:12 +02:00
org.gnome.Shell.Screenshot.xml
org.gnome.ShellSearchProvider2.xml	remoteSearch: support serialized GIcons	2013-04-24 15:54:31 -04:00
org.gnome.ShellSearchProvider.xml
perf-background.xml.in	Add a special background to use for performance testing	2014-08-18 10:54:42 -04:00