4 Commits

Author	SHA1	Message	Date
Jermolene	72941f3e9a	Addresses #1066 by moving the search results into a dropdown. ... The dropdown can be summoned by clicking on the search field. It will only appear if the search field is not empty. When the search field is not empty the dropdown can be also be summoned by clicking on the arrow or search result count. There are still some wrinkles where the dropdown doesn’t appear when expected; I’d appreciate feedback to help reproduce those cases. This change should still work with custom search result tabs.	2015-09-27 22:53:46 +01:00
Jermolene	b70b85aa9e	Add group headings to default search results	2014-11-10 19:52:37 +00:00
Jermolene	4d061d0fee	Provisionally extend search results to list title matches separately ... I’m not sure whether this is a good solution. Nor am I keen on the horizontal rule to separate the two groups of results.	2014-11-06 20:58:33 +00:00
Jermolene	c13cf94413	Add support for custom search result visualisations	2014-10-27 18:38:34 +00:00