Do not close peek widget when changing editors

Signed-off-by: Roman Nikitenko <[email protected]>
eclipse-theia · Mar 5, 2020 · 1669e59 · 1669e59
1 parent 02ae87b
commit 1669e59
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;
                 }