Hi Tobias > > 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 >
The trouble is that if there is a subsequent update to the highlight plugin then the associated themes won't get upgraded. If we're to do this properly, we need to make the extended themes be in some kind of plugin so that we can upgrade them. 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. > At the moment that could only be done by offering two versions of each plugin, one including the library and one that omits it. They'd need to be separate plugins so that the upgrade process can process them separately. Best wishes Jeremy. > > Best wishes, Tobias. > -- Jeremy Ruston mailto:[email protected] -- 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.
