Changes between Initial Version and Version 1 of Ticket #54


Ignore:
Timestamp:
Feb 28, 2007, 2:05:29 PM (17 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #54

    • Property Summary changed from File operation save-as and rename should track state change in scripting to Support file operations save-as, rename, revert properly during script management

  • Ticket #54 – Description

    initial v1  
    1 These renaming operations the corrupt synchronisation with the prover, if a currently <openfile> changes name or if we overwrite a currently processed file.  The simplest thing to do --- if possible in Eclipse --- is to disable save-as/renaming for the active file, and to automatically retract files that are overwritten and locked. 
     1These file operations corrupt the synchronisation with the prover:
     2
     3 * Revert should retract the document if any changes overlap a processed region
     4 * Save-As should switch to the new file, retracting the old, and possibly retracting any overwritten file.
     5
     6The simplest thing to do --- if possible in Eclipse --- is to disable save-as/revert/renaming for the active script file, and to automatically retract files that are overwritten and locked.