maxmustermann/vscode
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

fixes #118045

Browse source
This commit is contained in:
João Moreno 2021-03-24 16:39:22 +01:00
parent f9d92f0fc6
commit e353502fb9
No known key found for this signature in database
GPG key ID: 896B853774D1A575
1 changed files with 9 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/vs/workbench/contrib/search/browser/searchView.ts
View file

@ -834,7 +834,9 @@ export class SearchView extends ViewPane {
if (next === selected) {
this.tree.setFocus([]);
}
this.tree.setFocus([next], getSelectionKeyboardEvent(undefined, false, false));
const event = getSelectionKeyboardEvent(undefined, false, false);
this.tree.setFocus([next], event);
this.tree.setSelection([next], event);
this.tree.reveal(next);
const ariaLabel = this.treeAccessibilityProvider.getAriaLabel(next);
if (ariaLabel) { aria.alert(ariaLabel); }
@ -875,7 +877,9 @@ export class SearchView extends ViewPane {
if (prev === selected) {
this.tree.setFocus([]);
}
this.tree.setFocus([prev], getSelectionKeyboardEvent(undefined, false, false));
const event = getSelectionKeyboardEvent(undefined, false, false);
this.tree.setFocus([prev], event);
this.tree.setSelection([prev], event);
this.tree.reveal(prev);
const ariaLabel = this.treeAccessibilityProvider.getAriaLabel(prev);
if (ariaLabel) { aria.alert(ariaLabel); }
@ -1102,7 +1106,9 @@ export class SearchView extends ViewPane {
this.tree.domFocus();
const selection = this.tree.getSelection();
if (selection.length === 0) {
this.tree.focusNext(undefined, undefined, getSelectionKeyboardEvent());
const event = getSelectionKeyboardEvent();
this.tree.focusNext(undefined, undefined, event);
this.tree.setSelection(this.tree.getFocus(), event);
}
}
}