gitextensions/gitextensions — pull request #1513 by feinstaub (2013-01-04 16:33:48+00:00)
Title: Plugins --> Settings: open new Settings dialog (with Plugins section preselected)

and Remove old Plugin settings dialog code.