adobe/brackets — pull request #6189 by RaymondLim (2013-12-05 21:06:51+00:00)
Title: Cherry pick less fix from CodeMirror

This fixes issue #6160.