Re: [ jEdit-devel ] Backup files...

[Slava P. <sl...@je...>]

Dirk,

I'll take care of this in 4.0.

Slava

On Thu, Jul 26, 2001 at 12:32:31AM +0200, Dirk M=F6bius wrote:
> Hi Slava,
>=20
> I don't know if this problem has been addressed already, because I
> didn't follow the discussion on the #save# files recently...
>=20
> 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.
>=20
> 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?
>=20
> Dirk.