# HG changeset patch
# User wenzelm
# Date 1497346445 -7200
# Node ID 18e8d4e7ca2891772dcb3cfc2882f2335c34a817
# Parent  9a719681309ebf81609c49bf1e1475a06468fd59
tuned GUI;

diff -r 9a719681309e -r 18e8d4e7ca28 src/Tools/VSCode/extension/src/preview.ts
--- a/src/Tools/VSCode/extension/src/preview.ts	Tue Jun 13 11:13:34 2017 +0200
+++ b/src/Tools/VSCode/extension/src/preview.ts	Tue Jun 13 11:34:05 2017 +0200
@@ -91,7 +91,8 @@
 
   if (!active_editor) return ViewColumn.One
   else if (!split) return active_editor.viewColumn
-  else if (active_editor.viewColumn === ViewColumn.One) return ViewColumn.Two
+  else if (active_editor.viewColumn === ViewColumn.One ||
+    active_editor.viewColumn === ViewColumn.Three) return ViewColumn.Two
   else return ViewColumn.Three
 }