[ jEdit-devel ] [ jedit-Bugs-828792 ] replace error with german umlauts

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

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

Category: search and replace
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: replace error with german umlauts

Initial Comment:
I wanted to replace the German umlaut ß with its
html-entity ß .
Unfortunately Jedit does not only replace the letter ß.
It also replaces every occurance of "ss".

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

Comment By: Nobody/Anonymous (nobody)
Date: 2003-10-23 02:53

Message:
Logged In: NO 

Sorry. I forgot to post: It's Jedit version 4.1 Final on Mac
OS X.

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

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