toggle focus between query and results (#13928)

* toggle focus between query and results

* focus on tab

* comments
This commit is contained in:
Alan Ren
2021-01-07 18:39:31 -08:00
committed by GitHub
parent 81a1b1a55a
commit 6c2e713a92
6 changed files with 55 additions and 2 deletions

View File

@@ -311,7 +311,7 @@ export class TabbedPanel extends Disposable {
}
}
private focusCurrentTab(): void {
public focusCurrentTab(): void {
if (this._shownTabId) {
const tab = this._tabMap.get(this._shownTabId);
if (tab) {