Agda-mode pane is too space inefficient

banacorn / agda-mode-vscode

agda-mode on VS Code

MIT License

167 stars 38 forks source link

Closed fredrik-bakke closed 1 year ago

fredrik-bakke commented 1 year ago

The agda-mode pane does not fit a lot of information in a single view, making it hard to navigate or get an overview.

Example:

Some room for improvement:

Reduce padding.
Make the font have the same size as in the editor pane. It is currently 25% larger for some reason.
Reduce indentation step size.