Close the command output when empty

[meithecatte]

The command output window (on the bottom-right by default) tends to be empty a lot of the time, taking up valuable space, which can be an issue when dealing with larger proof contexts. I believe the user experience would be better if the command output window got hidden when empty, leaving 100% of the vertical space to the proof context.

[whonore]

That seems like a reasonable feature to provide as an option. In the meantime, although it's not a perfect solution, you can already resize or even close the goal and info windows. You can also re-open them and partially reset their positions with :CoqRestorePanels.