On Tuesday, November 12, 2019 at 7:47:37 AM UTC+1, TonyM wrote: ... > > - What plugin do we need to install one or both in plugins? > > Only 1 plugin is needed. "Highlight searched text". .. The other one is there to highlight js code.
> It is so good and so essential if it is not to "heavy" I think it would > make a great addition to the standard distribution. > Not heavy. 27kByte for mark.js 3rd party library, which is MIT lizensed. So IMO no problems here. The TW implementation itself is neglectable in size but ingenious in concept and execution ;) have fun! mario -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/ba409230-bbb3-4e54-95bc-6ea6d0219eea%40googlegroups.com.
