5261304231
As the dash uses different widths and radii for left and right borders, we need to use different CSS when it is positioned at the right of the screen. https://bugzilla.gnome.org/show_bug.cgi?id=642721 |
||
---|---|---|
.. | ||
search_providers | ||
shaders | ||
theme | ||
close-black.svg | ||
gnome-shell.desktop.in.in | ||
gnome-shell.schemas | ||
gs-applications.menu | ||
magnifier.svg | ||
Makefile.am | ||
org.gnome.shell.gschema.xml.in |