Small fix for a codemirror vertical padding problem which was quite visible when using 'git diff'.
Small fix for a codemirror vertical padding problem which was quite visible when using 'git diff'.

sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm