Option to set default size of proof window

[thomas-lamiaux]

Hi, would it possible be to have a small option to set the default size of the proof window ?
I don't know how it works currently, but it often opens too big on my computer / randomly big.
Not sure why, maybe it depends on the proof size ? though I have the feeling it mostly happens when I am checking a definition and nothing is actually printed