On 12/11/2013 10:28 AM, Jacob Peck wrote:
On 12/11/2013 10:25 AM, Edward K. Ream wrote:
On Wed, Dec 11, 2013 at 7:23 AM, Jacob Peck <[email protected]
<mailto:[email protected]>> wrote:
On 12/11/2013 7:05 AM, Edward K. Ream wrote:
In general, when two programs have copies of the same data,
the last program to write the data wins. There is no way
around this with present file systems.
True, but there is a very simple way to alleviate the issue: when
loading/saving the file, store a modification time. Then use an
idle hook in the background to check the file on disk's
modification time -- if it's newer than the cached version, pop
up a dialog informing the user and ask them if they would like to
reload.
Ok. Good. Please add this clarification (if needed), to your
wishlist bug.
Edward
Not my bug :) Additionally, that's a separate, but similar issue --
Leo doesn't update the 'temp' file created when editing a node in an
external editor, and then editing it again in Leo.
I'll file a wishlist bug for this, though.
-->Jake
Bug filed: https://bugs.launchpad.net/leo-editor/+bug/1259974
-->Jake
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/groups/opt_out.
