2024-03-15 00:24:59 +01:00
|
|
|
{{/* 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 */}}
|
2024-07-10 07:25:32 +02:00
|
|
|
{{/* IsFuzzy - state of the fuzzy/union search toggle */}}
|
|
|
|
{{/* CodeIndexerDisabled (optional) - if the performed search is done using git-grep */}}
|
2024-03-15 00:24:59 +01:00
|
|
|
{{/* 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}}
|
2024-07-10 07:25:32 +02:00
|
|
|
{{template "shared/search/fuzzy"
|
|
|
|
dict
|
|
|
|
"Disabled" .Disabled
|
|
|
|
"IsFuzzy" .IsFuzzy
|
|
|
|
"CodeIndexerDisabled" .CodeIndexerDisabled}}
|
2024-03-15 00:24:59 +01:00
|
|
|
{{template "shared/search/button" dict "Disabled" .Disabled "Tooltip" .Tooltip}}
|
|
|
|
</div>
|