Texteditor sizing

Don't use js for sizing the texteditor

cc @jancborchardt @karlitschek @DeepDiver1975