tonytomov/jqGrid — pull request #608 by meh-uk (2014-05-22 15:25:16+00:00)
Title: Adding ui-corner-top to the header div when the title div is hidden

Adding and removing ui-corner-top from the header div when the tile div
is hidden/shown - this means that the rounded corners don't look cut off
at the top when the title div is hidden.