VR3 does not use any of those files. If Leo knows about any of the modes, VR3 can be modded to use them. In fact, I'm thinking about allowing all the mode languages. It would be a minor change to the code, so far as I can see. Now, whether pygments can colorize every one of them in the rendered output, that I don't know. Pygments supports a great number of languages, so we can hope ...
On Monday, November 28, 2022 at 4:21:18 AM UTC-5 Edward K. Ream wrote: > On Mon, Nov 28, 2022 at 3:08 AM Edward K. Ream <[email protected]> wrote: > > Please issue a PR that deletes these files. >> > > See #2975 <https://github.com/leo-editor/leo-editor/issues/2975>. VR3 > doesn't appear to use the xml files, so I'll create the PR myself. > > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/3d94de83-17f7-4f7b-91ae-9c6fe3bd9c89n%40googlegroups.com.
