share/ShareJS — pull request #222 by yripo (2013-06-28 13:32:42+00:00)
Title: 145 scroll top problem

fixes https://github.com/codio/client/issues/145