On Wednesday, March 15, 2017 at 12:48:27 AM UTC-7, Sven wrote:
>
> Is there an easy way to make the search case-sensitive?
> http://tiddlywiki.com/#Searching%20in%20TiddlyWiki is not very explicit
> about it. I guess I could manage it with the application of filters but I
> was wondering whether there is an easier way, e.g. clicking a checkbox or
> so....
>
The default core definitions for the search interface use a [search{...}]
filter to find the matches to your input. This filter is, by design, case
insensitive.
However, if you replace the [search{...}] filter with a [regexp{...}]
filter, then it will perform a case-sensitive search by default... and,
using [regexp{...}], you can search for *text patterns* rather than just
literal text strings.
To change the TW core defaults, you can edit the following two shadow
tiddlers:
$:/core/ui/SideBarLists
replace "search{$(searchTiddler)$}" with "regexp{$(searchTiddler)$}"
$:/core/ui/DefaultSearchResultList
replace "search{$(searchTiddler)$}" with "regexp{$(searchTiddler)$}"
AND
replace "search:title{$(searchTiddler)$}" with
"regexp:title{$(searchTiddler)$}"
That should do it.
enjoy,
-e
Eric Shulman
TiddlyTools: "Small Tools for Big Ideas" (tm)
InsideTiddlyWiki: The Missing Manuals
--
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/5c404406-b95e-4706-a74b-39e2fe18c39c%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
