agda-mode-vscode icon indicating copy to clipboard operation
agda-mode-vscode copied to clipboard

Fix issue #129

Open vic0103520 opened this issue 11 months ago • 0 comments

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)

vic0103520 avatar Aug 14 '23 12:08 vic0103520