[tools] Fix map search

Bug: v8:10644
Change-Id: I8aaaf7337a92ef4962848a550ad1b80a65e3bc23
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2565350
Reviewed-by: Camillo Bruni <cbruni@chromium.org>
Commit-Queue: Sathya Gunasekaran  <gsathya@chromium.org>
Cr-Commit-Position: refs/heads/master@{#71491}
This commit is contained in:
Sathya Gunasekaran 2020-11-30 18:10:56 +05:30 committed by Commit Bot
parent 1ed6c80169
commit 22976631da

View File

@ -57,13 +57,13 @@ DOM.defineCustomElement('view/map-panel',
let searchBar = this.$('#searchBarInput'); let searchBar = this.$('#searchBarInput');
let searchBarInput = searchBar.value; let searchBarInput = searchBar.value;
// access the map from model cache // access the map from model cache
let selectedMap = MapLogEntry.get(parseInt(searchBarInput)); let selectedMap = MapLogEntry.get(searchBarInput);
if (selectedMap) { if (selectedMap) {
searchBar.className = 'success'; searchBar.className = 'success';
this.dispatchEvent(new FocusEvent(selectedMap));
} else { } else {
searchBar.className = 'failure'; searchBar.className = 'failure';
} }
this.dispatchEvent(new FocusEvent(selectedMap));
} }
set selectedMapLogEntries(list) { set selectedMapLogEntries(list) {