codeeditor: oops, fixing codeedtior sizing glitch