--- a/src/Tools/VSCode/extension/src/preview.ts Tue Jun 13 11:53:24 2017 +0200
+++ b/src/Tools/VSCode/extension/src/preview.ts Tue Jun 13 15:11:01 2017 +0200
@@ -85,24 +85,14 @@
/* commands */
-function preview_column(split: boolean): ViewColumn
-{
- const active_editor = window.activeTextEditor
-
- if (!active_editor) return ViewColumn.One
- else if (!split) return active_editor.viewColumn
- else if (active_editor.viewColumn === ViewColumn.One ||
- active_editor.viewColumn === ViewColumn.Three) return ViewColumn.Two
- else return ViewColumn.Three
-}
-
export function request(uri?: Uri, split: boolean = false)
{
const document_uri = uri || window.activeTextEditor.document.uri
const preview_uri = encode_preview(document_uri)
if (preview_uri && language_client) {
language_client.sendNotification(protocol.preview_request_type,
- { uri: document_uri.toString(), column: preview_column(split) })
+ { uri: document_uri.toString(),
+ column: library.adjacent_editor_column(window.activeTextEditor, split) })
}
}