ajaxorg/cloud9 — pull request #1493 by mattpardee (2012-05-12 21:41:05+00:00)
Title: Scroll to top of viewport on new search

@javruben

Fixes https://github.com/ajaxorg/cloud9infra/issues/1072