On Wed, Mar 20, 2019 at 9:15 AM john lunzer wrote:
Can you comment you on the impact in performance using this code will have?
>
Good question.
Using pygments should greatly improve performance. The pygments token
parsers use regex's, which should be substantially faster than Leo's
existing jedit pattern matchers. See the node "jedit.Pattern matchers" in
leoColorizer.py.
The loop the node "jedit.mainLoop" will become:
for token in Lexer().get_tokens(s):
which will be *much *faster than looping *character by character* over s
and then calling the jedit pattern matchers one by one.
Edward
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
