adobe/brackets — pull request #5036 by gruehle (2013-09-03 19:42:57+00:00)
Title: Redraw HTML highlights when toggled off/on

Fix for #4497

Call `updateHighlight()` for all document types, not just CSS. Refactor HTMLDocument to add `updateHighlight()` method.