Skip to content
This repository has been archived by the owner on Apr 5, 2024. It is now read-only.

cmdheight is too high #9

Closed
ofan opened this issue Dec 15, 2012 · 3 comments
Closed

cmdheight is too high #9

ofan opened this issue Dec 15, 2012 · 3 comments

Comments

@ofan
Copy link

ofan commented Dec 15, 2012

I saw set cmdheight=3 in ghc.vim, I think the command line is too high here, and most of the time there's no information needs to be displayed in the command line. Perhaps you could add an option to customize it and let the users make the choice.

@OliverUv
Copy link

Agreed. A compiler plugin shouldn't waste 2 lines of my gui without letting me disable it easily. At the very least, this should be documented and configurable.

@pjrt
Copy link

pjrt commented Jul 30, 2013

+1.

@lukerandall
Copy link
Owner

This is fixed by #21.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants