Hi Jeremy, > Isn't that equivalent to having the HighlightPlugin plus one or more > separate ExtendedLanguagesForHighlightPlugin plugins? >
It is, if it is designed to be extensible like that. I take it, it is. Perhaps: tiddlywiki.com/plugins/tiddlywiki/highlight <http://www.google.com/url?q=http%3A%2F%2Ftiddlywiki.com%2Fplugins%2Ftiddlywiki%2Fhighlight&sa=D&sntz=1&usg=AFQjCNFL12rjDtvO3aFon_FpZ1i16fXm4A> ...could also point to: https://github.com/isagalaev/highlight.js/tree/master/src/languages ...and give an example on how to correctly load such an extension. ...rather than just "Adding Themes": https://github.com/isagalaev/highlight.js/tree/master/src/styles I think that it's very important that the official plugins can all be used > offline. > I understand that philosophy. Nevertheless, it would perhaps be worth considering some optional checkbox that reads "include dependent libraries", checked by default ...so as to be able to exclude those, when one intends to include them separately, rather than "on top"... a bit like "on-thy-fly" plugin-packaging. Best wishes, Tobias. -- 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 http://groups.google.com/group/tiddlywiki. For more options, visit https://groups.google.com/d/optout.
