I think with regards to an official solution, I like the idea of having a CompleteHighlightPlugin. I'd say it would be the simplest solution, assuming that there aren't significant performance penalties. I suspect enabling you to customise the plugin (e.g. by replicating the HighlightJS builder) could get rather problematic, not least in terms of compatibility.
On Tuesday, 9 December 2014 08:24:18 UTC, Jeremy Ruston wrote: > > 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] > <javascript:>> 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] <javascript:>. >> To post to this group, send email to [email protected] >> <javascript:>. >> 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] <javascript:> > -- 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.
