search

banacorn / agda-mode-vscode

agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
167 stars 38 forks source link

Compact UI #161

Closed fredrik-bakke closed 1 year ago

fredrik-bakke commented 1 year ago

Using C-c C-. before:

image

After:

image

The pane is the same size in both pictures.

I first tried introducing settings to allow users to change the scaling of the pane, but I sadly know too little ReScript. Anyway, I'm open to change some of the parameters, but the general sentiment is that I think compacting the information in the pane is an improvement.

Resolves #160.

fredrik-bakke commented 1 year ago

Reducing the indentation step size would also be an improvement I think, although this PR does not do that.

fredrik-bakke commented 1 year ago

Wow, I didn't expect you to merge this PR without any pushback. It makes me very happy that you agree with this change! 😄

L-TChen commented 1 year ago

I am used to the layout of Agda mode for Emacs, so …