Hi Tobias > Perhaps the actual highlight.js tiddler (and css?) should (optionally) not be part of the plugin, but more like a dependency which you drag first, but can adapt to whichever dialects you also need to install.
Isn't that equivalent to having the HighlightPlugin plus one or more separate ExtendedLanguagesForHighlightPlugin plugins? > One might as well just pull that from some CDN, i.e. the latest update, independent from that plugin. I think that it's very important that the official plugins can all be used offline. Best wishes Jeremy. On Tue, Dec 9, 2014 at 8:18 AM, Tobias Beer <[email protected]> wrote: > Perhaps the actual *highlight.js* tiddler (and css?) should (optionally) > not be part of the plugin, but more like a dependency which you drag first, > but can adapt to whichever dialects you also need to install. > > For convenience it's simpler to just "drop all" but you get a lot of > overhead and never knew that you might have to adjust it to your special > requirements anyways. > > So, perhaps that thing that is the actual plugin should not ship with that > third party library as shadow tiddlers. > One might as well just pull that from some CDN, i.e. the latest update, > independent from that plugin. > > 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. > -- 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.
