ajaxorg/cloud9 — pull request #1518 by mattpardee (2012-05-14 08:17:52+00:00)
Title: Scroll to file in tree when revealing

@zefhemel @giannis

Instead of just going directly to the final scroll position, this adds a very nice animation to the effect