ajaxorg/ace — pull request #490 by janjongboom (2011-11-02 11:23:58+00:00)
Title: Issues/489

See https://github.com/ajaxorg/ace/issues/489