marijnh/CodeMirror — pull request #1802 by sathyamoorthi (2013-09-04 05:02:03+00:00)
Title: Condition added to avoid tag highlight in user selection.

I added small condition to fix this issue https://github.com/adobe/brackets/issues/5037