Ticket #1220 (closed defect: invalid)

Opened 3 years ago

Last modified 3 years ago

RegEx search should be case-sensitive regardless of chkCaseSensitiveSearch option

Reported by: nameanyone Owned by: JeremyRuston
Priority: minor Milestone: 2.6.1
Component: core Version:
Severity: low Keywords:
Cc:

Description

Modify Story.prototype.search so that chkRegExpSearch and chkCaseSensitiveSearch do not get combined resulting in a case-insensitive RegEx? search.

 http://groups.google.com/group/tiddlywiki/browse_thread/thread/df3b16653c099000/

Change History

Changed 3 years ago by FND

  • priority changed from undefined to minor
  • severity changed from undefined to low
  • milestone set to 2.6.1

Changed 3 years ago by MartinBudden

  • status changed from new to closed
  • resolution set to invalid

Disagree. This anticipates what the user wants. Generally options should do "what it says on the tin": if chkRegExpSearch and chkCaseSensitiveSearch are checked, then that is what should be done.

There is a case to allow the use of / / for regular expressions in normal search, but this can be solved at the plugin level.

Note: See TracTickets for help on using tickets.