diff -r f507feede89a -r 09a1c134465b web/wp-includes/class-wp-editor.php --- a/web/wp-includes/class-wp-editor.php Wed Dec 19 12:35:13 2012 -0800 +++ b/web/wp-includes/class-wp-editor.php Wed Dec 19 17:46:52 2012 -0800 @@ -32,9 +32,10 @@ 'wpautop' => true, // use wpautop? 'media_buttons' => true, // show insert/upload button(s) 'textarea_name' => $editor_id, // set the textarea name to something different, square brackets [] can be used here - 'textarea_rows' => get_option('default_post_edit_rows', 10), // rows="..." + 'textarea_rows' => 20, 'tabindex' => '', - 'editor_css' => '', // intended for extra styles for both visual and HTML editors buttons, needs to include the