Highlighter always serializes all selections, so theyll need to be stored as TextRange ranges.
Merge pull request #6 from zgohr/sockjs

Highlighter always serializes all selections, so theyll need to be store...