commit | 20c1a21e685c237af0f989d32ea822fd0683a232 | [log] [tgz] |
---|---|---|
author | Hector Dearman <hjd@google.com> | Mon Dec 06 13:06:31 2021 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Dec 06 13:06:31 2021 +0000 |
tree | 134f2a064373d366087ea07bfc6666cc2df0675e | |
parent | b54e61f0f24427ef4b48fe9510b423624cf8a60e [diff] | |
parent | a80ae5c3a32cec0dcfbbe1467ecc6fde6c51207c [diff] |
Merge "ui: Focus query results tab on query"
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(); }