Your right, this is a good idea. I was thinking you're trying to write a more complex highlighter.
But the highlightspeed issue is the same.
It is the same as if you would load the file directly to the
textarea. the Array might be a bit faster, but that should be minimal ;) . In Fact you're doing the same as I described before. You load a file and set the textareatext and thats why the TextAreaFormat is so slow with great texts.
Sorry that I have misunderstood you so hard.
But the highlightspeed issue is the same.
It is the same as if you would load the file directly to the
textarea. the Array might be a bit faster, but that should be minimal ;) . In Fact you're doing the same as I described before. You load a file and set the textareatext and thats why the TextAreaFormat is so slow with great texts.
Sorry that I have misunderstood you so hard.