search

banacorn / agda-mode-vscode

agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
169 stars 39 forks source link

Load turns editor split: left/right split into top/bottom split #129

Open ChefYeum opened 1 year ago

ChefYeum commented 1 year ago

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.

jespercockx commented 1 year ago

Yes, this issue is very annoying. I would also like an option to make the Agda buffer always appear to the right of the current buffer (instead of to the bottom).

ZoneTwelve commented 1 year ago

Because this issue is relevant with modules (rescript-vscode), adding a command that can return the VS code Editor layout is required. The modified rescript-vscode PR