Jakub Steiner 48cfd35b65 theme: a button is a button is a button ...

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

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

..

theme

theme: a button is a button is a button

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

50-gnome-shell-system.xml.in

…

gnome-shell-extension-prefs.desktop.in.in

…

gnome-shell-overrides.convert

…

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.desktop.in.in

…

Makefile.am

theme: make a GResource

2014-10-14 18:54:18 -07:00

org.gnome.shell.gschema.xml.in.in

…

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

…

org.gnome.Shell.Screencast.xml

…

org.gnome.Shell.Screenshot.xml

…

org.gnome.ShellSearchProvider2.xml

…

org.gnome.ShellSearchProvider.xml

…

perf-background.xml.in

…