On Wednesday, July 18, 2018 at 8:45:57 PM UTC+2, @TiddlyTweeter wrote:
>
>
> - ... when you are working on growing a TW having to search for
> recently used but closed system & shadow Tiddlers is slightly irksome as
> you need to go to advanced search to do it. This is why I made the modest
> change for my own use ... But I am wondering IF more configuration options
> for the Recent tab could be a good idea, allowing a user to configure
> defaults for: (1) types shown; (2) numbers shown.
>
>
- I did create the "advanced search plus" plugin, which allows you to
save search queries.
- It replaces the "advanced search" button and creates a new tab in the
right sidebar, where it adds 4 "search tabs"
- standard, system, shadow and filter-expression
- Those tabs can be saved
- title and caption can be defined
I did create the plugin mainly for developing new stuff. .. It turns out,
that I need the same search terms over and over again. So I wanted to save
them.
There are 2 problems atm. ... NO DOCS :) and the UI needs some
improvements. That's why I didn't promote it ... yet.
> - ... I'm not entirely convinced the idea behind "Recent" as it is
> makes proper sense. In the default it only shows Tiddlers I can easily
> find
> in normal search. But a lot of the time its the OTHER type of Tiddler I
> need to find, the one's beginning "$:/". I'm wondering if I'm alone in
> this?
>
> That was 1 of the reasons why I did advanced-search-plus ..
You can find the plugin here:
https://wikilabs.github.io/editions/advanced-search-plus/#%24%3A%2Fplugins%2Fwikilabs%2Fadvanced-search-plus
have fun!
mario
--
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/3d3458d1-c10a-4288-b392-b56c9267a90f%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
