From 59d754d20474e44a074237e5e6c4bce71bcfe55d Mon Sep 17 00:00:00 2001 From: Joao Moreno Date: Sun, 14 Oct 2018 18:30:39 +0200 Subject: [PATCH] markers tree: open to the side --- src/vs/platform/list/browser/listService.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/vs/platform/list/browser/listService.ts b/src/vs/platform/list/browser/listService.ts index 1f934f83169..abb88e40e0f 100644 --- a/src/vs/platform/list/browser/listService.ts +++ b/src/vs/platform/list/browser/listService.ts @@ -606,12 +606,12 @@ export class ObjectTreeResourceNavigator extends Disposable { } private onSelection(e: ITreeEvent): 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); }