Jeremy! The highlight plugin may be updated for the latest highlight.js 9.12
Mohammad On Friday, April 13, 2018 at 12:56:26 PM UTC+4:30, Jeremy Ruston wrote: > > Thanks Mohammad, I’ll correct it, > > Best wishes > > Jeremy > > On 13 Apr 2018, at 09:18, Mohammad <[email protected] <javascript:>> > wrote: > > Is katex on the prerealse is still 0.6? > > Look at > > > https://tiddlywiki.com/prerelease/plugins/tiddlywiki/katex/#%24%3A%2Fplugins%2Ftiddlywiki%2Fkatex > > > The readme still states it is based on katex 0.6! > > > > > On Thursday, April 12, 2018 at 6:40:06 AM UTC+4:30, Matthew Lauber wrote: >> >> Could I get the following PRs looked at for inclusion? >> >> https://github.com/Jermolene/TiddlyWiki5/pull/2988 Adding a <$range> >> widget that supports all the features of the <input type="range"> element. >> https://github.com/Jermolene/TiddlyWiki5/pull/2982 Modify the is >> operator to allow multiple types to be specified. >> >> On Saturday, April 7, 2018 at 12:17:18 PM UTC-4, Jeremy Ruston wrote: >>> >>> The release of v5.1.16 is overdue; the good news is that there are a lot >>> of exciting new features: >>> >>> * Copying to the clipboard >>> * A new “sortan” filter operator for intuitive alphanumeric sorting >>> * A new “rotate left” button in the bitmap editor >>> * Comparison operators for the reveal widget >>> * Visual diffs available in the edit preview and the import listing >>> * A hugely overhauled CodeMirror plugin with many new futures, and much >>> better extensibility and customisability >>> * Many improvements to the TextSlicer plugin, including customisability >>> via declarative JSON rules >>> * An updated KaTeX plugin to the latest v0.9.0 >>> * The new DynaView plugin for building user interfaces that respond to >>> scrolling and zooming >>> * Sharper and more readable default fonts >>> >>> In preparation for the release, I’d be grateful for as many hands as >>> possible to give the prerelease a try: >>> >>> https://tiddlywiki.com/prerelease >>> >>> Please try it with your favourite plugins, or perform a trial upgrade of >>> your personal wikis. Any feedback gratefully received. >>> >>> If all goes well, we’ll release v5.1.16 in the next few days. >>> >>> Best wishes >>> >>> Jeremy. >>> >>> > -- > 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 https://groups.google.com/group/tiddlywiki. > To view this discussion on the web visit > https://groups.google.com/d/msgid/tiddlywiki/86db8472-1ede-48e6-99d0-69be844500ad%40googlegroups.com > > <https://groups.google.com/d/msgid/tiddlywiki/86db8472-1ede-48e6-99d0-69be844500ad%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > > > -- 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 https://groups.google.com/group/tiddlywiki. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/3bc395ec-7451-4f26-9c45-efdc6abdb728%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
