Environment:
Leo 5.8.1-b2 devel, build 20190227233831, Wed Feb 27 23:38:31 PST 2019
Git repo info: branch = devel, commit = b5619a44b1fa
Python 3.4.3, PyQt version 5.4.1
Windows 8 AMD64 (build 6.2.9200)
isPython3: True
Get the following errors after setting the @bool use-pygments = True
Traceback (most recent call last):
File "C:\Python34\lib\site-packages\pygments\lexer.py", line 498, in
_process_state
rex = cls._process_regex(tdef[0], rflags, state)
File "C:\Python34\lib\site-packages\pygments\lexer.py", line 427, in
_process_regex
return re.compile(regex, rflags).match
File "C:\Python34\lib\re.py", line 223, in compile
return _compile(pattern, flags)
File "C:\Python34\lib\re.py", line 294, in _compile
p = sre_compile.compile(pattern, flags)
File "C:\Python34\lib\sre_compile.py", line 568, in compile
p = sre_parse.parse(p, flags)
File "C:\Python34\lib\sre_parse.py", line 760, in parse
p = _parse_sub(source, pattern, 0)
File "C:\Python34\lib\sre_parse.py", line 370, in _parse_sub
itemsappend(_parse(source, state))
File "C:\Python34\lib\sre_parse.py", line 695, in _parse
raise error("unexpected end of pattern")
sre_constants.error: unexpected end of pattern
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "D:\Synced\github repos\leo\leo\core\leoColorizer.py", line 2705,
in patch_lexer
return PatchedLexer()
File "C:\Python34\lib\site-packages\pygments\lexer.py", line 580, in
__call__
cls._tokens = cls.process_tokendef('', cls.get_tokendefs())
File "C:\Python34\lib\site-packages\pygments\lexer.py", line 519, in
process_tokendef
cls._process_state(tokendefs, processed, state)
File "C:\Python34\lib\site-packages\pygments\lexer.py", line 501, in
_process_state
(tdef[0], state, cls, err))
ValueError: uncompilable regex '(?-m:\\<\\<(.*?)\\>\\>)' in state 'root' of
<class
'leo.core.leoColorizer.PygmentsColorizer.patch_lexer.<locals>.PatchedLexer'>:
unexpected end of pattern
--
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.
