> On 9 Sep 2016, at 8:57 AM, Monte Goulding <[email protected]> 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 _______________________________________________ use-livecode mailing list [email protected] Please visit this url to subscribe, unsubscribe and manage your subscription preferences: http://lists.runrev.com/mailman/listinfo/use-livecode
