gitextensions/gitextensions — pull request #1378 by PaulGardens (2012-10-29 22:41:09+00:00)
Title: Dashboard splitter bar exception fix

I've pushed what is hopefully a fix for the splitter exception (in topic branch splitterfix) mentioned in https://github.com/gitextensions/gitextensions/issues/1026 which seems to be caused when the splitter bar is dragged all the way to the bottom of the window. The value is checked to lie within the valid range before it is used.