ajaxorg/ace — pull request #1096 by gjtorikian (2012-11-11 02:30:10+00:00)
Title: Add stylus support

Fixes https://github.com/ajaxorg/ace/issues/801