Re: [ jEdit-users ] home directory name change

[e-letter <in...@gm...>]

On 26/11/2013, Alan Ezust <ala...@gm...> wrote:
 > On Tue, Nov 26, 2013 at 1:21 PM, e-letter <in...@gm...> wrote:
 >
 >> On 26/11/2013, Alan Ezust <ala...@gm...> wrote:
 >> > jEdit does substitute paths for environment variable prefixes in
 >> > various
 >> > places of the GUI,
 >> > when there are variables that can shorten the path.
 >> >
 >>
 >> When did jedit start to perform this "substitution"?
 >>
 >
 > I think I added MiscUtilities.abbreviate() back in the jEdit 4.3 times, and
 > for a while, it was not an option you could switch off.
 >

If I haven't upgraded in months (if not years!), how was this function added?

 >>
 >> How does it occur?
 >>
 >
 > Now it happens whenever MiscUtilities.abbreviateView() is called.
 >

How and when is it "called"?

 >>
 >> What caused this change in behaviour, which was never requested in the
 >> first place?
 >>
 >
 > I did.
 >

Were users' informed before?