--- 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)
+ }
}
})
}