[ jEdit-devel ] [ jedit-Bugs-430619 ] Temp save file not renamed on Windows

[<no...@so...>]

Bugs item #430619, was updated on 2001-06-06 02:31
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=430619&group_id=588

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Ingemar Hansson (ingemarh)
Assigned to: Nobody/Anonymous (nobody)
Summary: Temp save file not renamed on Windows

Initial Comment:
When editing an existing file and saving changes, the original file is not updated. Both files "original" 
and "#original#save#" exists. "#original#save#"
contains all changes, but "original" is never deleted, and thus "#original#save#"
is not renamed.

Environment:
jEdit 3.2pre2
Windows NT, SP5
JRE 1.3.0_01

/Ingemar Hansson



----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=430619&group_id=588