#3739 check file status before save

closed-fixed
Alan Ezust
None
5
2012-08-28
2012-08-28
Alan Ezust
No
0 up votes | 0 down votes | 0%
2 comments

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