|Reported by:||nacin||Owned by:||azaozz|
In options-writing, there is a setting for the "Size of the post box". This controls the <textarea> height for all users. It should disappear.
Ideally, in place of it, the HTML editor should retain memory of its previous size (given browser scaling). To do this, we would either need to read and potentially set the same cookie as TinyMCE does for the Visual editor, or use our own user setting in parallel. This will require some changes to editor.js, class-wp-editor.php, and possibly the wp_editor() call in edit-form-advanced.php.