[daniel]

I have it fixed for the next update.

Thanks, that is great news. It is not a problem for me to wait until the fix is released. As a workaround I can just keep the hide option unchecked or go fullscreen as you said.