Aerijo
commented
5 years ago Actually, this behaves poorly with the auto focus options of the dock. When it opens, it will steal focus, which is especially bad with "compile on save" turned on.
Auto closing should still work fine though.
This let's the dock open and close itself, based on if it's got messages or not.
I was considering making the control finer, by allowing auto close and auto open to be separately configured (could be rolled into a single enum choice). Honestly, it still sounds good to me.
The open / close logic is based on the toggle logic.
Also fixes #506