v. 0.1.2 : editors' heights in the main splitter zone