The resize button was missing from the text editor.

This adds it.