gitextensions/gitextensions — pull request #1698 by PombeirP (2013-03-08 22:15:20+00:00)
Title: Auto refresh revisions when index changes

Add setting on Git Extensions settings page to allow automatic refreshing of the RevisionsGrid control when the index changes.