Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#391 case-insensitive replace

open
nobody
None
5
2011-06-23
2011-06-23
BogoMips
No

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

Discussion

  • BogoMips
    BogoMips
    2011-06-23

    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