[ jEdit-devel ] Backup files...

[<dmo...@gm...>]

Hi Slava,

I don't know if this problem has been addressed already, because I
didn't follow the discussion on the #save# files recently...

When I have write access to a file, but not to the directory where the
file is in, I cannot save the file. This is because jEdit cannot
create the #save# file and aborts with an IOException.

I would expect that the file is saved as least, but no temporary file
and no backup file would be created. A warning should be issued that
jEdit could not create a backup file. Is this possible=3F

Dirk.