Florian Müllner 7bb7734869 panelMenu: Consider vertical margins when computing max-height ... When opening a panel menu, we set it's max-height to the available work-area height to keep menus with scrollable content from growing outside the monitor. However a menu that extends all the way down to the bottom edge does not look great either, so also take margins into account here. https://bugzilla.gnome.org/show_bug.cgi?id=744498		2015-02-15 10:23:39 +01:00
..
theme	panelMenu: Consider vertical margins when computing max-height	2015-02-15 10:23:39 +01:00
50-gnome-shell-system.xml.in	Add a toggle-overview keybinding	2013-04-18 20:34:41 -04: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	theme: Add high-contrast variant	2014-11-29 18:13:03 +01: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	theme: make a GResource	2014-10-14 18:54:18 -07:00
org.gnome.shell.gschema.xml.in.in	Remove some apps from the default favourite apps list	2014-09-12 12:49:20 +03: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	screenshot: document the Screenshot interface	2013-01-03 12:56:46 +01:00
org.gnome.ShellSearchProvider2.xml	remoteSearch: support serialized GIcons	2013-04-24 15:54:31 -04:00
org.gnome.ShellSearchProvider.xml	ShellSearchProvider: Update documentation about 'name' and 'id'	2013-02-14 16:44:14 -05:00
perf-background.xml.in	Add a special background to use for performance testing	2014-08-18 10:54:42 -04:00