tricycle/lesswrong — pull request #22 by johnsoft (2012-06-25 00:41:10+00:00)
Title: User search box

Adds a per-user search box to profile pages.

Sorry for the messy JS - it mixes the detection of back/forward clicks with the adding/removing of search terms. I could abstract the history part away if you think it's too confusing or cluttered, but right now it Works™ and I'm not sure it's worth spending the extra time.