| commit | fa1a77101d2a7233487a15520c5efce64a03e33d | [log] [tgz] |
|---|---|---|
| author | Hector Dearman <hjd@google.com> | Mon Dec 06 13:26:53 2021 +0000 |
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | Mon Dec 06 13:26:53 2021 +0000 |
| tree | 134f2a064373d366087ea07bfc6666cc2df0675e | |
| parent | f516f2f85e10ddaf5edc7c064b2309a055443f33 [diff] | |
| parent | 20c1a21e685c237af0f989d32ea822fd0683a232 [diff] |
Merge "ui: Focus query results tab on query" am: 20c1a21e68 Original change: https://android-review.googlesource.com/c/platform/external/perfetto/+/1907878 Change-Id: Ib9210adaef4757fd2149fd1d8be3fa422c32301d
diff --git a/ui/src/frontend/publish.ts b/ui/src/frontend/publish.ts index eb2d5fe..1edcc76 100644 --- a/ui/src/frontend/publish.ts +++ b/ui/src/frontend/publish.ts
@@ -144,6 +144,7 @@ export function publishQueryResult(args: {id: string, data?: {}}) { globals.queryResults.set(args.id, args.data); + globals.dispatch(Actions.setCurrentTab({tab: 'query_result'})); globals.publishRedraw(); }