Jakub Steiner 6ecbaac0a8 theme: make top bar more legible ...

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

2017-09-22 17:13:07 +02:00

..

theme

theme: make top bar more legible

2017-09-22 17:13:07 +02:00

50-gnome-shell-system.xml

…

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

extensionPrefs: Tweak UI

2017-02-15 23:20:14 +01:00

gnome-shell-overrides.convert

…

gnome-shell-theme.gresource.xml

dateMenu: Use icon for message indicator

2017-09-12 17:32:51 +02:00

gnome-shell.portal

…

meson.build

build: Fix portal installation with meson

2017-07-20 01:49:37 +02:00

org.gnome.Shell.desktop.in.in

…

org.gnome.shell.gschema.xml.in

Use Unicode in translatable strings

2017-02-16 02:07:14 +01:00

org.gnome.Shell.PadOsd.xml

…

org.gnome.Shell.PortalHelper.desktop.in.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

…