gitextensions/gitextensions — pull request #2464 by ulrichb (2014-09-22 20:58:28+00:00)
Title: Improved "Git Config" settings page (layout managers)

- using layout managers (better resize behavior and high DPI awareness)
- fixed tab order