# HG changeset patch
# User wenzelm
# Date 1496331389 -7200
# Node ID 46123b9dadc8d37704d3fc8ef9a1962e196e2ac7
# Parent  75590c9a585f343ddb63f109ed33149fe933d916
proper update of already existing preview;

diff -r 75590c9a585f -r 46123b9dadc8 src/Tools/VSCode/extension/src/preview.ts
--- a/src/Tools/VSCode/extension/src/preview.ts	Thu Jun 01 15:26:22 2017 +0200
+++ b/src/Tools/VSCode/extension/src/preview.ts	Thu Jun 01 17:36:29 2017 +0200
@@ -79,8 +79,10 @@
       const preview_uri = encode_preview(Uri.parse(params.uri))
       if (preview_uri) {
         preview_content.set(preview_uri.toString(), params.content)
-        if (params.column == 0) content_provider.update(preview_uri)
-        else commands.executeCommand("vscode.previewHtml", preview_uri, params.column, params.label)
+        content_provider.update(preview_uri)
+        if (params.column != 0) {
+          commands.executeCommand("vscode.previewHtml", preview_uri, params.column, params.label)
+        }
       }
     })
 }