diff --git a/src/vs/workbench/browser/parts/editor/tabsTitleControl.ts b/src/vs/workbench/browser/parts/editor/tabsTitleControl.ts index b5dcd93e6540de67f6db82f1253207b2d96e3e62..df5ead4cc9233229db0ebf3f071fc39553263332 100644 --- a/src/vs/workbench/browser/parts/editor/tabsTitleControl.ts +++ b/src/vs/workbench/browser/parts/editor/tabsTitleControl.ts @@ -516,7 +516,7 @@ export class TabsTitleControl extends TitleControl { // Open resources if found if (resources.length) { - e.preventDefault(); + DOM.EventHelper.stop(e, true); this.editorService.openEditors(resources.map(resource => { return {