PreviousNextTracker indexSee it online !

(147/212) 391 - case-insensitive replace

been a jedit user daily for 11 years now\!

Feature I'd particularly like is per http://cbloomrants.blogspot.com/2011/06/06-04-11-keep-case.html

Submitted bogomips - 2011-06-23 05:58:27 Assigned
Priority 5 Labels
Status open Group None
Resolution None

Comments

2011-06-23 06:07:13
bogomips

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