mirrors/TiddlyWiki5
1
0
Fork 0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2024-12-24 17:10:29 +00:00
Code Issues Releases Wiki Activity

Add group headings to default search results

Browse Source
This commit is contained in:
Jermolene 2014-11-10 19:52:37 +00:00
parent e175746122
commit b70b85aa9e
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
core/ui/DefaultSearchResultList.tid
View File

@ -9,8 +9,12 @@ caption: {{$:/language/Search/DefaultResults/Caption}}
</$set>
//<small>Title matches:</small>//
<$list filter="[!is[system]search:title{$(searchTiddler)$}sort[title]limit[250]]" template="$:/core/ui/ListItemTemplate"/>
<hr/>
//<small>All matches:</small>//
<$list filter="[!is[system]search{$(searchTiddler)$}sort[title]limit[250]]" template="$:/core/ui/ListItemTemplate"/>
\end
<<searchResultList>>