> The logic behind combining chkRegExpSearch and chkCaseSensitiveSearch > is borked. Regular expressions are case sensitive.
That's an interesting observation; I never noticed that (see below). That might be considered a bug, so could you raise a ticket for this particular issue? > The best would be [...] to remove the chkRegExpSearch option and > have RegExp search invoked via "/.../" I'd like this as well (since I often don't bother manually activating the RegEx option). However, I'm not sure whether that's core territory or whether it should be provided by a simple plugin. Either way, could you raise a (separate) ticket for this as well? > it would be great if the search flags could be adapted to the > context of TiddlyWiki in a meaningful way I like that idea. Perhaps add it as an afterthought to the ticket above? -- F. --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To post to this group, send email to TiddlyWiki@googlegroups.com To unsubscribe from this group, send email to tiddlywiki+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/TiddlyWiki?hl=en -~----------~----~----~----~------~----~------~--~---
