Texteditor sizing

cc @jancborchardt @karlitschek @DeepDiver1975