ajaxorg/ace — pull request #2283 by nightwing (2014-12-21 09:45:06+00:00)
Title: Sync with cloud9

@lennartcl
fixes https://github.com/ajaxorg/ace/issues/2282