PreviousNextTracker indexSee it online !

(165/207) 3324954 - case-insensitive replace

been a jedit user daily for 11 years now!

Feature I'd particularly like is per

Submitted bogomips - 2011-06-23 - 05:58:27z Assigned nobody
Priority 5 Category None
Status Open Group None
Resolution None Visibility No


2011-06-23 - 06:07:13z
I imagine it being a checkbox in the find-replace dialog; its not necessary for this to work in conjunction with regex replacement - they can be mutually exclusive