diff options
| author | Jui-Nan Lin <jnlinn@gmail.com> | 2021-01-27 18:00:35 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-27 12:00:35 +0200 |
| commit | c10503afeccd5172ace7613094dd5fe1e0770c55 (patch) | |
| tree | 5a39cbf125f38a3bc75eb77c689b03ed13efa44c /options | |
| parent | b2c20b68a08e23bc952402a553d59a4613188bd0 (diff) | |
| download | gitea-c10503afeccd5172ace7613094dd5fe1e0770c55.tar.gz gitea-c10503afeccd5172ace7613094dd5fe1e0770c55.zip | |
[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>
Diffstat (limited to 'options')
| -rw-r--r-- | options/locale/locale_en-US.ini | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 1fe43ce29b..4083f71147 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -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 |