mozilla/dxr — pull request #146 by nicolaisi (2013-07-12 21:29:44+00:00)
Title: Bug 843344 - Update window title and url dynamically

update the window title and url in conjunction with when the search query is triggered.

uses history.pushState to rewrite the url in history each time the user changes the query text.

I did untrack Vagrantfile as I was changing the ports and I don't want this to be tracked.