adobe/brackets — pull request #4705 by jasonsanjose (2013-08-08 19:16:57+00:00)
Title: Redraw highlights after modifying in-browser DOM

Fix for #4692. Super simple fix. @dangoor or @njx.