adobe/brackets — pull request #7273 by larz0 (2014-03-20 20:38:51+00:00)
Title: Making inline editor header taller so the gutter won't cover the bottom portion of the file name.

This is for #7271.