7589-file-search-preview: removed editor-preview

Signed-off-by: Dan Arad <dan.arad@sap.com>
eclipse-theia · Nov 11, 2020 · f2a523c · f2a523c
1 parent c3b8c1d
commit f2a523c
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/packages/search-in-workspace/src/browser/search-in-workspace-result-tree-widget.tsx b/packages/search-in-workspace/src/browser/search-in-workspace-result-tree-widget.tsx
@@ -838,7 +838,7 @@ export class SearchInWorkspaceResultTreeWidget extends TreeWidget {
             fileUri = new URI(node.fileUri);
         }
 
-        const opts: EditorOpenerOptions | undefined = !DiffUris.isDiffUri(fileUri) ? {
+        let opts: EditorOpenerOptions | undefined = !DiffUris.isDiffUri(fileUri) ? {
             selection: {
                 start: {
                     line: node.line - 1,
@@ -852,6 +852,10 @@ export class SearchInWorkspaceResultTreeWidget extends TreeWidget {
             mode: 'reveal'
         } : undefined;
 
+        if (preview) {
+            opts = Object.assign(opts || {}, { preview });
+        }
+
         const editorWidget = await this.editorManager.open(fileUri, opts);
 
         if (!DiffUris.isDiffUri(fileUri)) {