ajaxorg/ace — pull request #1222 by vinbarnes (2013-01-26 21:33:02+00:00)
Title: add event listener for double-click

This needs more work, but it's a start toward fixing #956.

If this isn't the correct approach, something like this project may shed some light. It supposedly addresses this issue https://github.com/mckamey/doubleTap.js