marijnh/CodeMirror — pull request #1493 by redmunds (2013-05-03 19:01:38+00:00)
Title: Add gutter filler

This is for issue #1485.

I added a new parameter to `updateScrollbars()`, but it seems like just passing `cm` to that function is a littler cleaner, so let me know if I should change it.

I didn't make it an option because I don't know why anyone would not want it this way. Let me know if you still want it as an option.