ajaxorg/cloud9 — pull request #1229 by javruben (2012-04-04 19:37:21+00:00)
Title: Feature/animated scrolling fix

@gjtorikian @linh81 @mattpardee

WIP, but already issued PR to show progress:

Here's a video. It's much smoother in real life.
http://screencast.com/t/BPji1baLL9av

Fixes #1170

Replaces (https://github.com/ajaxorg/cloud9/pull/1209)