Re: [ jEdit-users ] home directory name change

[Alan E. <ala...@gm...>]

jEdit does substitute paths for environment variable prefixes in various
places of the GUI,
when there are variables that can shorten the path.

In jEdit 5.1 you can disable this by unchecking the option from
Global Options - View - Abbreviate paths with variables when possible



On Tue, Nov 26, 2013 at 1:11 PM, e-letter <in...@gm...> wrote:

> On 19/11/2013, Alan Ezust <ala...@gm...> wrote:
> > I am not sure what you mean by "home" directory.
> > Are you referring to the default directory that is shown by the File
> System
> > Browser? Because that is configurable from Global Options - File System
> > Browser - General - Default Path.
> >
>
> /home
>
> Previously, this has always been visible as '/home/[user]/tmp. Now it
> has changed as described earlier.
>