Correctly determine the ACE editor's height (see #6578)