gar, Previously, you wrote this:
> I find color schemes supplied with the leo's distr poor for some languages (for example, >javascript still knows nothing about es6/es7, and markdown ignores back quotes) and want to > enhance them (and even introduce some more). > How should I use changed version? I should edit files in the git repo and then make a pull request? It sounds like you are making improvements which would benefit everyone. IMO, for those cases it would make sense to edit the files in the git repo and make a pull request. Brian On Fri, Dec 6, 2019 at 2:56 AM gar <[email protected]> wrote: > Fantastic, thanks a lot! I am very poor pythonista and learnt something > new from your code. > It creates a new dialect from nothing, and that's cool. > But... how can I patch existing dialect? Acquire it, re-define methods of > interest and hope that it would work? > > четверг, 5 декабря 2019 г., 21:53:38 UTC+3 пользователь btheado написал: >> >> This thread may interest you: "Defining colorizer modes in @script" >> https://groups.google.com/d/msg/leo-editor/X9tjxbOq6es/lxyaIooWQzsJ. >> >> I never followed through on avoiding the need for the monkey patch. I >> don't use this code anymore and when I tested it didn't work. I made a >> small change (highlighted in bold below) and now it is working again. To >> test it yourself, "Paste as node" the following xml. Then highlight "sol >> colorizing" node and hit ctrl-b to execute it. Then select "colorizing >> test" node and see the highlighted date string >> > -- > 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/b047dd9a-5d9e-4ee0-87e6-65a198ddefc6%40googlegroups.com > <https://groups.google.com/d/msgid/leo-editor/b047dd9a-5d9e-4ee0-87e6-65a198ddefc6%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAO5X8Cze2ma3fj2vB%3D6AiQpP-%2Ba-P-uYO8dQDQ%3DefBvQg%2Bk75g%40mail.gmail.com.
