[wp-trac] [WordPress Trac] #29713: In recurring problem, post edit box gets stuck at huge size

[WordPress Trac]

#29713: In recurring problem, post edit box gets stuck at huge size
--------------------------+------------------------------
 Reporter:  CK MacLeod    |       Owner:
     Type:  defect (bug)  |      Status:  new
 Priority:  normal        |   Milestone:  Awaiting Review
Component:  Editor        |     Version:  4.0
 Severity:  normal        |  Resolution:
 Keywords:                |     Focuses:
--------------------------+------------------------------

Comment (by CK MacLeod):

 Initial investigation suggests that the old hacks no longer work, and my
 attempts to change class-wp-editor.php at lines 131, 132, or 157 to lower
 height values have had no effect. Nor have I had any luck running
 {{{
 setUserSetting('ed_size', 300);
 }}}
  via the browser console. After running it, the console tells me ed_size
 is 300, but the box is unchanged, still vertically larger than my screen.
 Refreshes, cache clearing, and deleting WP cookies have no effect. Same
 problem on Chrome.

--
Ticket URL: <https://core.trac.wordpress.org/ticket/29713#comment:1>
WordPress Trac <https://core.trac.wordpress.org/>
WordPress publishing platform