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>
15 lines
799 B
Go HTML Template
15 lines
799 B
Go HTML Template
{{/* Value - value of the search field (for search results page) */}}
|
|
{{/* Disabled (optional) - if search field/button has to be disabled */}}
|
|
{{/* Placeholder (optional) - placeholder text to be used */}}
|
|
{{/* IsFuzzy - state of the fuzzy/union search toggle */}}
|
|
{{/* CodeIndexerDisabled (optional) - if the performed search is done using git-grep */}}
|
|
{{/* Tooltip (optional) - a tooltip to be displayed on button hover */}}
|
|
<div class="ui small fluid action input">
|
|
{{template "shared/search/input" dict "Value" .Value "Disabled" .Disabled "Placeholder" .Placeholder}}
|
|
{{template "shared/search/fuzzy"
|
|
dict
|
|
"Disabled" .Disabled
|
|
"IsFuzzy" .IsFuzzy
|
|
"CodeIndexerDisabled" .CodeIndexerDisabled}}
|
|
{{template "shared/search/button" dict "Disabled" .Disabled "Tooltip" .Tooltip}}
|
|
</div>
|