ajaxorg/ace — pull request #1257 by BallBearing (2013-02-16 19:38:06+00:00)
Title: Give some more love to #1253.

Issue #1253 was fixed within microseconds (wow!) while I had already started working on this pull request. I've re-based it to include the previous fix and add some more loving robustness.