d1fc87577a
With the panel border removed, it is no longer necessary to account for it in the corner drawing code, so simplify the drawing code a bit. https://bugzilla.gnome.org/show_bug.cgi?id=669489 |
||
---|---|---|
.. | ||
search_providers | ||
shaders | ||
theme | ||
gnome-shell-extension-prefs.desktop.in.in | ||
gnome-shell-overrides.convert | ||
gnome-shell.desktop.in.in | ||
Makefile.am | ||
org.gnome.shell.gschema.xml.in |