markers tree: open to the side

This commit is contained in:
Joao Moreno
2018-10-14 18:30:39 +02:00
parent f25cde13be
commit 59d754d204

View File

@@ -606,12 +606,12 @@ export class ObjectTreeResourceNavigator<T, TFilterData> extends Disposable {
}
private onSelection(e: ITreeEvent<T, TFilterData>): void {
if (!e.browserEvent) {
if (!e.browserEvent || !(e.browserEvent instanceof MouseEvent)) {
return;
}
const isDoubleClick = e.browserEvent instanceof MouseEvent && e.browserEvent.detail === 2;
const sideBySide = e.browserEvent instanceof KeyboardEvent && (e.browserEvent.ctrlKey || e.browserEvent.metaKey || e.browserEvent.altKey);
const isDoubleClick = e.browserEvent.detail === 2;
const sideBySide = e.browserEvent.ctrlKey || e.browserEvent.metaKey || e.browserEvent.altKey;
this.open(!isDoubleClick, isDoubleClick, sideBySide);
}