gitextensions/gitextensions — pull request #1925 by feinstaub (2013-06-20 21:20:22+00:00)
Title: DeleteUnusedBranchesForm: add Settings button

Proof-of-Concept: each GitExtPlugin should be able to add a button to open the SettingsDialog with its specific settings page preselected.