mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-18 07:34:54 +00:00
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 | ||