Fix issue #129 - Githubissues

banacorn / agda-mode-vscode

agda-mode on VS Code

MIT License

167 stars 38 forks source link

Open vic0103520 opened 1 year ago

vic0103520 commented 1 year ago

Improve how Agda buffer appear:

This modification preserves current layout and create a new panel depending on configuration or current layout.

For example,

if there's only one editor, it will create a panel depending on configuration
if there are editors split left/right(top/down), it will create a panel at the bottom(right)