Explorer: trim whitespace in search bar (#13258)

This commit is contained in:
Justin Starry 2020-10-29 09:44:27 +08:00 committed by GitHub
parent e7b7c15198
commit de71fb9bdd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -164,7 +164,8 @@ function buildTokenOptions(search: string, cluster: Cluster) {
}
}
function buildOptions(search: string, cluster: Cluster) {
function buildOptions(rawSearch: string, cluster: Cluster) {
const search = rawSearch.trim();
if (search.length === 0) return [];
const options = [];