Allow for multiple lines in the TextEditor to be highlighted
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!).