| commit | a80ae5c3a32cec0dcfbbe1467ecc6fde6c51207c | [log] [tgz] |
|---|---|---|
| author | Hector Dearman <hjd@google.com> | Thu Dec 02 14:52:11 2021 +0000 |
| committer | Hector Dearman <hjd@google.com> | Thu Dec 02 14:52:11 2021 +0000 |
| tree | 5428ca48e31d45f89572a15f37414423095d6bbb | |
| parent | 4a9b683ccbbb7f1d3d16645671e960dae6a8a352 [diff] |
ui: Focus query results tab on query Bug: 208697781 Change-Id: I37d5433aa2b9c3843b42e96422e1f02072929e56
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(); }