Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#3739 check file status before save

closed-fixed
Alan Ezust
None
5
2012-08-28
2012-08-28
Alan Ezust
No

jEdit currently does not check if a file has been modified before we overwrite it.
This should always happen regardless of the fileStatus option that is set in General Options.
The dialog that should pop up should say "this file was modified by another process. save or cancel?"

Discussion

  • Alan Ezust
    Alan Ezust
    2012-08-28

    • assigned_to: nobody --> ezust
     
  • Alan Ezust
    Alan Ezust
    2012-08-28

    • status: open --> closed-fixed
     
  • Alan Ezust
    Alan Ezust
    2012-08-28

    Committed 22085