This commit is contained in:
Sandeep Somavarapu 2022-12-06 14:33:44 +01:00 committed by GitHub
parent 538a24d505
commit 37a74f9e41
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 1 deletions

View file

@ -185,6 +185,10 @@ export class ToolBar extends Disposable {
});
}
isEmpty(): boolean {
return this.actionBar.isEmpty();
}
private getKeybindingLabel(action: IAction): string | undefined {
const key = this.lookupKeybindings ? this.options.getKeyBinding?.(action) : undefined;

View file

@ -230,7 +230,7 @@ export class FilterWidget extends Widget {
private onInputKeyDown(event: StandardKeyboardEvent, filterInputBox: HistoryInputBox) {
let handled = false;
if (event.equals(KeyCode.Tab)) {
if (event.equals(KeyCode.Tab) && !this.toolbar.isEmpty()) {
this.toolbar.focus();
handled = true;
}