Re: All pygments work is in devel

2019-03-26 Thread Josef
Great work Edward! the latex coloring is now much better! I have seen some inconsistencies, though: Leo directives are not always being colored any more (@others, @language makefile) Btw. when importing a "Makefile" leo places @language unknown_language, instead of @language makefile - but

FYI: @font changes in devel

2019-03-26 Thread Edward K. Ream
Recent changes likely will make @font nodes work again, or work again for some people. This conceivably could cause unwanted effects, but that can't be helped. *What I did* 1. Refactored bjc.configure_fonts, creating bjc.find_font. The refactoring was tricky. The new version of