mleibman/SlickGrid — pull request #436 by harbulot (2012-09-04 01:28:25+00:00)
Title: headerHeight parameter to be able to set the header height as an option.

This `headerHeight` option makes it possible to set the header height without changing the stylesheets, along with the other options.