agda-mode-vscode
agda-mode-vscode copied to clipboard
Fix issue #129
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)