[ jEdit-devel ] [ jedit-Bugs-3190087 ] replace with ignore case on

[SourceForge.net <no...@so...>]

Bugs item #3190087, was opened at 2011-02-23 23:01
Message generated for change (Comment added) made by tristene
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3190087&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: editor core
Group: normal bug
>Status: Open
Resolution: Works For Me
Priority: 5
Private: No
Submitted By: Tristen (tristene)
Assigned to: Matthieu Casanova (kpouer)
Summary: replace with ignore case on

Initial Comment:
v4.3.2

for a long time i could search/replace text with the ignore case checkbox checked. it would replace lowercase occurrences with the lowercase string. it would replace uppercase occurrences with the uppercase string.

anyway. for a long time i was happy. jedit was happy. we were all happy.

now it doesn't do that anymore :(

this change effects me quite significantly. maybe it should be made an config option to allow for a bit more flexibility? it is legacy behaviour after all.

regards
tristen

----------------------------------------------------------------------

>Comment By: Tristen (tristene)
Date: 2011-03-01 23:56

Message:
Yeah sorry, it's weird, but I can't get jedit to reproduce it either - all
I have to show for it is the results in a few .h files i've been working
on.

Sorry to take up your time - i must have bungled something up - it's
clearly not happening any more.

----------------------------------------------------------------------

Comment By: Matthieu Casanova (kpouer)
Date: 2011-03-01 01:06

Message:
Hi, I just tried but I cannot reproduce the bug, could you give an example
?

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3190087&group_id=588