On Wed, May 1, 2013 at 11:46 PM, Matt Wilkie <[email protected]> wrote:
{later} After some testing I think this is the wrong approach even though
> `c.frame.tree.revertHeadline` does actually work. Problems include *which*
> undo event does one want? and the value of revertHeadline changes at time
> of save the .leo file, so unless a person remembers to always execute
> rename before saving it's not going to work. I'm in the habit of hitting
> Ctrl-S constantly since I've lost so much work by not doing so... :-/
>
I agree with your analysis. revertHeadline works, but is not easily
generalized.
>
> A better interface would be a prompt such as "@file headline has changed.
> Rename external file to match?" on exiting the headline.
>
In my experience, such prompts are exceedingly difficult to do correctly.
Leo's file-write code detects some changes; adding more prompts are likely
to be annoying rather than useful.
>
> In any case, I'm on other things right now and will let this lie fallow
> until it itches me again. Thanks again for helping. :)
>
As GTD says, delay is not the same as procrastination. Hehe.
Edward
--
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?hl=en-US.
For more options, visit https://groups.google.com/groups/opt_out.
