# HG changeset patch
# User wenzelm
# Date 1496843538 -7200
# Node ID 396785562768cf7301c6438f6b2b0bb08c5b5f2f
# Parent  96f86c613a9fe46ba10c02e6103ff236f25c49fd
avoid redundant Preview documents;

diff -r 96f86c613a9f -r 396785562768 src/Tools/VSCode/extension/src/preview.ts
--- a/src/Tools/VSCode/extension/src/preview.ts	Tue Jun 06 23:13:53 2017 +0200
+++ b/src/Tools/VSCode/extension/src/preview.ts	Wed Jun 07 15:52:18 2017 +0200
@@ -80,7 +80,12 @@
       if (preview_uri) {
         preview_content.set(preview_uri.toString(), params.content)
         content_provider.update(preview_uri)
-        if (params.column != 0) {
+
+        const existing_document =
+          workspace.textDocuments.find(document =>
+            document.uri.scheme === preview_uri.scheme &&
+            document.uri.query === preview_uri.query)
+        if (!existing_document && params.column != 0) {
           commands.executeCommand("vscode.previewHtml", preview_uri, params.column, params.label)
         }
       }