Jakub Steiner 3d747b00e6 tone down modal dialogs borders ...

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

2016-01-13 15:04:49 +01:00

..

theme

tone down modal dialogs borders

2016-01-13 15:04:49 +01: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

Makefile.am

data: merge gnome-shell.desktop and gnome-shell-wayland.desktop into one file

2015-11-09 10:37:24 -05:00

org.gnome.Shell.desktop.in.in

data: merge gnome-shell.desktop and gnome-shell-wayland.desktop into one file

2015-11-09 10:37:24 -05:00

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

bluetooth: Show the Bluetooth menu when there were setup devices

2015-10-28 11:51:07 +01: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

…