commands and widgets do not get along nicely

fixes #62458
This commit is contained in:
Joao Moreno
2018-11-02 12:15:22 +01:00
parent 3e7f8dffc1
commit 718a093237
4 changed files with 54 additions and 48 deletions

View File

@@ -598,6 +598,10 @@ export class ObjectTreeResourceNavigator<T, TFilterData> extends Disposable {
const focus = this.tree.getFocus();
this.tree.setSelection(focus, e.browserEvent);
if (!e.browserEvent) {
return;
}
const isMouseEvent = e.browserEvent && e.browserEvent instanceof MouseEvent;
if (!isMouseEvent) {