mozilla/dxr — pull request #206 by ossreleasefeed (2013-12-10 16:17:31+00:00)
Title: Ui

@erikrose Not sure whether I should just push this to the main repo's ui branch so, I am opening a PR. If I can just push, I will do so and close this PR.