Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-shell
361461d1b9
This removes the border and padding and aligns the box to the top. Perhaps we could push the padding down into the active area of the icon since it does look a bit nicer with it. http://bugzilla.gnome.org/show_bug.cgi?id=583139 |
||
---|---|---|
.settings | ||
data | ||
js | ||
src | ||
tools/build | ||
.gitignore | ||
.project | ||
AUTHORS | ||
autogen.sh | ||
configure.ac | ||
COPYING | ||
MAINTAINERS | ||
Makefile.am | ||
README |