Fix editor heights in Gtk3