ajaxorg/cloud9 — pull request #1488 by mattpardee (2012-05-12 19:10:25+00:00)
Title: Scroll tree back to its saved position on show

@javruben

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