## Steps to reproduce 1. Open an Agda file 2. Split screen left/right: Either via drag & drop or with VSCode command `View: Split Editor Right` 3. Run `Agda: Load` (Default shortcut `Ctrl + C` `Ctrl + L`) 4. The left and right split turn into top and bottom split The expected behaviour is for it to keep the left/right split and make a separate top/bottom split to show Load output.