gitextensions/gitextensions — pull request #1620 by mdonatas (2013-02-17 00:06:37+00:00)
Title: Keep settings tree item highlighted when not focused

Active node in settings tree was not highlighted when not focused to not cause confusion with green background when searching.

This can be fixed by disabling active item highlight only during searching.