[Feature] add precise search type for Elastic Search (#12869)
* feat: add type query parameters for specifying precise search * feat: add select dropdown in search box Co-authored-by: Lauris BH <lauris@nix.lv> Co-authored-by: techknowlogick <techknowlogick@gitea.io>
This commit is contained in:
parent
b2c20b68a0
commit
c10503afec
12 changed files with 77 additions and 25 deletions
|
@ -237,6 +237,8 @@ users = Users
|
|||
organizations = Organizations
|
||||
search = Search
|
||||
code = Code
|
||||
search.fuzzy = Fuzzy
|
||||
search.match = Match
|
||||
repo_no_results = No matching repositories found.
|
||||
user_no_results = No matching users found.
|
||||
org_no_results = No matching organizations found.
|
||||
|
@ -1462,6 +1464,8 @@ activity.git_stats_deletion_n = %d deletions
|
|||
|
||||
search = Search
|
||||
search.search_repo = Search repository
|
||||
search.fuzzy = Fuzzy
|
||||
search.match = Match
|
||||
search.results = Search results for "%s" in <a href="%s">%s</a>
|
||||
|
||||
settings = Settings
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue