mozilla/dxr — pull request #120 by ehsan (2013-04-04 17:06:42+00:00)
Title: Make the search box autofocus

Fixes bug 858015.