As of version 4.3 jEdit replaces parts of path names by matching environment variables, i.e. in title bar. For me this is a great feature. But other users are irritated by this behavior.
=> Maybe this feature should be made optional.
Should this option disable the abbreviate() function entirely from all places that it is called, such as Console?
Assuming YES is the answer to the question, committed 22818.