Threading (plus random question)

[Monte Goulding]

> On 9 Sep 2016, at 8:57 AM, Monte Goulding <monte at appisle.net> wrote:
> 
> I’m not actually sure if it makes any difference if you use colorization or not. The mutated lines still get tokenized as you type. I’ll check on that but regardless we need it to have reasonable performance with or without colorization.

Yep, still tokenized… obviously this is low hanging fruit for optimization where users don’t want colorization