From 1669e59162867c6240975257ba4a8b289055b2ab Mon Sep 17 00:00:00 2001
From: Roman Nikitenko <rnikiten@redhat.com>
Date: Thu, 5 Mar 2020 21:26:53 +0200
Subject: [PATCH] Do not close peek widget when changing editors

Signed-off-by: Roman Nikitenko <rnikiten@redhat.com>
---
 packages/monaco/src/browser/monaco-editor-provider.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/monaco/src/browser/monaco-editor-provider.ts b/packages/monaco/src/browser/monaco-editor-provider.ts
index a67d873a88840..d530b833a872f 100644
--- a/packages/monaco/src/browser/monaco-editor-provider.ts
+++ b/packages/monaco/src/browser/monaco-editor-provider.ts
@@ -388,7 +388,7 @@ export class MonacoEditorProvider {
 
                     const modelPromise = Promise.resolve(model) as any;
                     modelPromise.cancel = () => { };
-                    openedEditor._contributions['editor.contrib.referencesController'].toggleWidget(range, modelPromise, false);
+                    openedEditor._contributions['editor.contrib.referencesController'].toggleWidget(range, modelPromise, true);
                     return;
                 }