ajaxorg/cloud9 — pull request #840 by mattpardee (2012-01-20 00:06:07+00:00)
Title: Fixes Reveal in File Tree issue

@fjakobs or @sergi or @mikedeboer or really anyone with eyes

Fixes #839

Scrollbar was removed, so scroll based on the percentage of the location (y) * scrollable height.