Allow for multiple lines in the TextEditor to be highlighted

Merged Dominic Zimmer requested to merge react-highlight-multiline into react

Feature as discussed (totally™ not implementing easter eggs when I should be working on my thesis instead).

I had to adapt some types in PSC. When highlighting lines in the editor, the empty highlighting is now [] instead of undefined (hurray for map support!).

Merge request reports