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].
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/78a8551d-2ef1-40e5-bc00-54455ee2cd96%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to