Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-shell
a230ad9225
Use bigger font and brighter color for the search results section headers. Add more padding. Display "(see all)" tooltip in the section headers on mouse-over. (Still TODO: supressing that tooltip when all results are already being shown.) |
||
---|---|---|
.settings | ||
data | ||
js | ||
po | ||
src | ||
tools/build | ||
.gitignore | ||
.project | ||
AUTHORS | ||
autogen.sh | ||
configure.ac | ||
COPYING | ||
MAINTAINERS | ||
Makefile.am | ||
README |