ajaxorg/ace — pull request #1281 by nightwing (2013-03-05 19:37:16+00:00)
Title: Fix double tab

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