ajaxorg/ace — pull request #616 by nightwing (2012-01-14 17:29:29+00:00)
Title: fix horizontal scroll desynchronization

- fix for #610
- fix for bgtokenizer causes too much gutter redraws making impossible to click foldWidget after typing
- small improvement for css selectors
- lighter color for fold in textmate theme