2018-03-16 10:04:33 -04:00
|
|
|
{{template "base/head" .}}
|
2023-02-01 17:56:10 -05:00
|
|
|
<div role="main" aria-label="{{.Title}}" class="page-content explore users">
|
2018-03-16 10:04:33 -04:00
|
|
|
{{template "explore/navbar" .}}
|
|
|
|
<div class="ui container">
|
2022-10-10 19:12:03 -04:00
|
|
|
{{template "code/searchform" .}}
|
2021-04-09 16:53:16 -04:00
|
|
|
<div class="ui divider"></div>
|
2018-03-16 10:04:33 -04:00
|
|
|
<div class="ui user list">
|
2022-08-25 17:55:52 -04:00
|
|
|
{{if .CodeIndexerUnavailable}}
|
2022-01-27 03:30:51 -05:00
|
|
|
<div class="ui error message">
|
2022-06-27 16:58:46 -04:00
|
|
|
<p>{{$.locale.Tr "explore.code_search_unavailable"}}</p>
|
2022-01-27 03:30:51 -05:00
|
|
|
</div>
|
|
|
|
{{else if .SearchResults}}
|
2021-04-09 16:53:16 -04:00
|
|
|
<h3>
|
2022-08-25 17:55:52 -04:00
|
|
|
{{.locale.Tr "explore.code_search_results" (.Keyword|Escape) | Str2html}}
|
2021-04-09 16:53:16 -04:00
|
|
|
</h3>
|
2022-10-10 19:12:03 -04:00
|
|
|
{{template "code/searchresults" .}}
|
|
|
|
{{else if .Keyword}}
|
2022-06-27 16:58:46 -04:00
|
|
|
<div>{{$.locale.Tr "explore.code_no_results"}}</div>
|
2018-03-16 10:04:33 -04:00
|
|
|
{{end}}
|
|
|
|
</div>
|
|
|
|
|
|
|
|
{{template "base/paginate" .}}
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
{{template "base/footer" .}}
|