ajaxorg/ace — pull request #829 by danyaPostfactum (2012-07-02 16:17:52+00:00)
Title: Roll scroller width back (from css to js)

width: 100% does not consider gutter.
So, let set width by js. Or we can set "right" property when initializing and know scrollbar width.