MobileRead Forums - View Single Post

DiapDealer · 02-28-2020, 07:24 AM

Your first suggestion already exists. "Normal" is case-insensitive, and "Case Sensitive" is (Normal) Case Sensitive. Regex is case-sensitive by default, but has its own case-insensitivity option built into it. Why would we reinvent that particular wheel? So yes... you already have complete and independent control over case (in)sensitivity in both modes.

02-28-2020, 07:24 AM	#2
DiapDealer Grand Sorcerer Posts: 28,645 Karma: 204624552 Join Date: Jan 2010 Device: Nexus 7, Kindle Fire HD	Your first suggestion already exists. "Normal" is case-insensitive, and "Case Sensitive" is (Normal) Case Sensitive. Regex is case-sensitive by default, but has its own case-insensitivity option built into it. Why would we reinvent that particular wheel? So yes... you already have complete and independent control over case (in)sensitivity in both modes. Last edited by DiapDealer; 02-28-2020 at 08:33 AM.