Hi Tobias
> @Jeremy, should I add this modification to this pull request > regarding the missing refresh handling of the set widget when using a > filter? > Thanks Tobias. I think it's better to make it a new pull request. Best wishes Jeremy > > > *fixes #1937 — filter refresh in set widget* > https://github.com/Jermolene/TiddlyWiki5/pull/1952 > > Best wishes, > > — tb > > -- > 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. > To view this discussion on the web visit > https://groups.google.com/d/msgid/tiddlywiki/b871b32a-db1d-48a3-a9fe-a6d758798557%40googlegroups.com > <https://groups.google.com/d/msgid/tiddlywiki/b871b32a-db1d-48a3-a9fe-a6d758798557%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > For more options, visit https://groups.google.com/d/optout. > -- Jeremy Ruston mailto:[email protected] -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/CAPKKYJbTecwkTSSp0in0JwZW6b0khkqNDFgLDDVaNTqw-yAJQA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
