[ jEdit-devel ] [ jedit-Bugs-745729 ] file deleted on rename

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

Bugs item #745729, was opened at 2003-05-29 16:06
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=745729&group_id=588

Category: editor core
Group: severe bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Alex (pikamar)
Assigned to: Nobody/Anonymous (nobody)
Summary: file deleted on rename

Initial Comment:
I'm using jEdit 4.1final on a MacOS 10.2.6 machine.

I recently discovered that if a file is renamed from
the file system browser to a new name containing an
illegal character (ie ":" on MacOS X) the file is
deleted without any warning.

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

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