Thanks for letting me know that BTC is working on this, Mohammad! I'll mention this on the GitHub issue and see if this can get brought into the plugin itself.
On Friday, January 4, 2019 at 9:00:12 PM UTC-6, Mohammad wrote: > > Rob, > This is great. The current mechanism is not modular. I hope @BTC, who is > working on updating highlight.js see this post and also @Jeremy. > > We should have the plug-in with minimum common language brushes, and then > users can add their brushes of choice. > Your code should be part of plugin. > > I will try it with some new brushes and return to you. > > Cheers > Mohammad > > -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/tiddlywiki. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/4286ef1d-5553-461b-93d3-aa75d5969138%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
