[Gretl-devel] Height of some dialog windows