Florian Müllner 9f3a7ab432 Fix .panel-menu ...

While clearly related to the top bar, it's not a child, so the
selector "#panel .panel-menu" does not match anything.

2015-02-20 15:16:58 +01:00

..

theme

Fix .panel-menu

2015-02-20 15:16:58 +01:00

50-gnome-shell-system.xml.in

…

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: use regular borders for top bar buttons

2015-02-20 15:14:43 +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

…

org.gnome.ShellSearchProvider2.xml

…

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