[tools] Change map details on clicking a map
Bug: v8:10644 Change-Id: I299e95f5a8505205a4942a5a5b04cde36f1e5320 Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2565355 Reviewed-by: Camillo Bruni <cbruni@chromium.org> Commit-Queue: Sathya Gunasekaran <gsathya@chromium.org> Cr-Commit-Position: refs/heads/master@{#71493}
This commit is contained in:
parent
0f1c81d179
commit
a1fc79be56
@ -68,6 +68,7 @@ DOM.defineCustomElement('view/map-panel',
|
||||
|
||||
set selectedMapLogEntries(list) {
|
||||
this.mapTransitionsPanel.selectedMapLogEntries = list;
|
||||
if (list.length === 1) this.mapDetailsPanel.map = list[0];
|
||||
}
|
||||
get selectedMapLogEntries() {
|
||||
return this.mapTransitionsPanel.selectedMapLogEntries;
|
||||
|
Loading…
Reference in New Issue
Block a user