ajaxorg/ace — pull request #2137 by nightwing (2014-09-09 22:55:06+00:00)
Title: Fix several small issues

@lennartcl

also fixes #1841, #2136, #2133