Making inline editor header taller so the gutter won't cover the bottom portion of the file name.

This is for #7271.