928f188689
various improvements from [user research](https://codeberg.org/forgejo/user-research/src/branch/main/interviews/2024-06/issues%28search%2Cfeatures%29%2Cselfhosting%2CCI%2Caccessibility%2Ccodesearch.md) - filenames are links to the respective files fixes: `fold menu: user clicked and expected to view file, instead the file collapsed` - refactor(searchfile.tmpl): ordered lists with lines grouped together instead of table fixes: `multiple matches per file are "merged", only visible in the code lines (no visual separation)` - feat: display fuzzy as "Either" when using git-grep which is much more accurate than "fuzzy" git-grep does not support fuzzy searching, in this context selecting fuzzy searching worked similar to an OR of white space separated keywords fixes: `typo doesn't bring results in fuzzy search` --- <details> <summary>Before</summary>  </details> <details> <summary>After</summary>  </details> Reviewed-on: https://codeberg.org/forgejo/forgejo/pulls/4332 Reviewed-by: 0ko <0ko@noreply.codeberg.org> Co-authored-by: Shiny Nematoda <snematoda.751k2@aleeas.com> Co-committed-by: Shiny Nematoda <snematoda.751k2@aleeas.com>
28 lines
805 B
Go HTML Template
28 lines
805 B
Go HTML Template
<form class="ui form ignore-dirty">
|
|
{{template "shared/search/combo_fuzzy"
|
|
dict
|
|
"Value" .Keyword
|
|
"Disabled" .CodeIndexerUnavailable
|
|
"IsFuzzy" .IsFuzzy
|
|
"Placeholder" (ctx.Locale.Tr "search.code_kind")
|
|
"CodeIndexerDisabled" $.CodeIndexerDisabled}}
|
|
</form>
|
|
<div class="divider"></div>
|
|
<div class="ui user list">
|
|
{{if .CodeIndexerUnavailable}}
|
|
<div class="ui error message">
|
|
<p>{{ctx.Locale.Tr "search.code_search_unavailable"}}</p>
|
|
</div>
|
|
{{else}}
|
|
{{if .CodeIndexerDisabled}}
|
|
<div class="ui message" data-test-tag="grep">
|
|
<p>{{ctx.Locale.Tr "search.code_search_by_git_grep"}}</p>
|
|
</div>
|
|
{{end}}
|
|
{{if .SearchResults}}
|
|
{{template "shared/search/code/results" .}}
|
|
{{else if .Keyword}}
|
|
<div>{{ctx.Locale.Tr "search.no_results"}}</div>
|
|
{{end}}
|
|
{{end}}
|
|
</div>
|