Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-shell
300cefd66a
Display search results in the dash instead of showing them in a separate pane. We get dynamic allocation for the section height based on the number of results, but a lot of the problems with the previous search results display, such as displaying empty sections and paging overflow are still present. Also, we don't yet close the browse pane for applications or documents when we display the search results and only replace it if we are showing the details pane, so all that looks weird. We'll need to work out the interaction for these cases. |
||
|---|---|---|
| .settings | ||
| data | ||
| js | ||
| po | ||
| src | ||
| tools/build | ||
| .gitignore | ||
| .project | ||
| AUTHORS | ||
| autogen.sh | ||
| configure.ac | ||
| COPYING | ||
| MAINTAINERS | ||
| Makefile.am | ||
| README | ||