Any word on the range widget PR here? https://github.com/Jermolene/TiddlyWiki5/pull/2988
If there's something that needs done with it, I'm happy to add to the PR. Thanks, Matt Lauber On Wednesday, April 11, 2018 at 10:10:06 PM UTC-4, 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 tiddlywiki+unsubscr...@googlegroups.com. To post to this group, send email to tiddlywiki@googlegroups.com. 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/11b9785c-c37a-48f1-b595-ccada50cc155%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.