zedapp/zed — pull request #306 by robru (2014-04-22 21:25:03+00:00)
Title: Define the top edge of the editor area in a theme-friendly way.

This saves me having to specify `!important` in my custom title-bar-squashing theme. This is related to #139.