adobe/brackets — pull request #3547 by RaymondLim (2013-04-23 15:01:47+00:00)
Title: Use setTimeOut to ignore the second single-click generated from a double-click event.

This fixes issue #3416.