447bf55e45
The solid black top bar we currently use works well for maximized or tiled windows, as it puts focus on the application content by blending into the monitor bezel. However it also visually reduces the screen space, which is particularly noticeable when no window is located nearby. Having the top bar blend with the background is a better option in that case, so track window positions and add some transparency when the top bar is free-floating. https://bugzilla.gnome.org/show_bug.cgi?id=747163 |
||
---|---|---|
.. | ||
theme | ||
50-gnome-shell-system.xml | ||
gnome-shell-extension-prefs.desktop.in.in | ||
gnome-shell-overrides.convert | ||
gnome-shell-theme.gresource.xml | ||
gnome-shell.portal | ||
Makefile.am | ||
org.gnome.Shell.desktop.in.in | ||
org.gnome.shell.gschema.xml.in | ||
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 |