ValveSoftware/vogl — pull request #24 by PeterLValve (2014-03-18 22:37:37+00:00)
Title: Fix issue #20: Search in the editor really slow; minor doc improvements

Major performance improvements to the search functionality, with small changes to the search behavior (but personally I like this usage better).