From 8d56e6a4e5bf1900b3682cda2e8ec43d37640bc3 Mon Sep 17 00:00:00 2001 From: Johannes Rieken Date: Wed, 24 Aug 2016 15:51:53 +0200 Subject: [PATCH] pin it, #9138 --- src/vs/workbench/api/node/mainThreadEditors.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vs/workbench/api/node/mainThreadEditors.ts b/src/vs/workbench/api/node/mainThreadEditors.ts index ec374bddceb..d8972be076b 100644 --- a/src/vs/workbench/api/node/mainThreadEditors.ts +++ b/src/vs/workbench/api/node/mainThreadEditors.ts @@ -182,7 +182,7 @@ export class MainThreadEditors extends MainThreadEditorsShape { const input = { resource, - options: { preserveFocus } + options: { preserveFocus, pinned: true } }; return this._workbenchEditorService.openEditor(input, position).then(editor => {