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

Tighten up the layout in the bottom panel. #130

Closed dunhamsteve closed 1 year ago

dunhamsteve commented 1 year ago

Sorry, meant to pr against my own copy