Ciao BurningTreeC Just an FYI. I'm gonna create a mock up based on my use case on this to try to make clearer a few issue on this kind of filtering idea. My thought was NOT to lumber you with a mission impossible, but rather try and open up the scope of what I was trying to get at. I may take it to another thread, as its a broader issue than muuri. First I need to play to get clearer what I meant, though I do think it has relevance to grid layouts.
I had hoped people other than me would comment. Maybe they will yet. Meanwhile I'll try develop a few use cases. Best wishes Josiah BurningTreeC wrote: > > hello everyone, > > *TiddlyTweeter* > >> >>> One of the neat things that muuri js enables is dynamic filtering ( >>> https://haltu.github.io/muuri/). Whilst TiddlyWiki is good on reductive >>> filtering in the sidebar search I can't say I've seen a live reductive >>> filter for open Tiddlers like muuri does yet. >>> >> >> I've seen that and I'm planning with this search functionality, but I'd >> like to discuss what should be used as filter expression - easiest thing >> would be the tiddler title ... I have to think about this >> >>> >>> Sticking with TT. Imagine you opened, via an AUTO-POPULATE, 200 Tiddlers >>> with tag "MyStuff". But then you need to *reduce* what is visible to >>> the 5 that are also tagged "Rabbit". >>> >>> *Q: Could that be done?* >>> >> >> yep! could be done >> >>> >>> > @TiddlyTweeter was talking about this filter function for the muuri grid, > and I'd like to ask what you think it should use as content for filtering > in TiddlyTouch > > best wishes, > BurningTreeC > > -- 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/e4c44fbb-dada-42c4-84c9-d33835fe819c%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
