If 'refresh from disk' is available from rclick menu on @nosent nodes, it should be filed as a bug
Sent from my Windows Phone From: Edward K. Ream Sent: 10.8.2012 16:19 To: [email protected] Subject: Re: no @<file> nodes in the selected tree On Thu, Aug 9, 2012 at 4:29 PM, Terry Brown <[email protected]> wrote: >> Ok, that works, sticks a @nocolor line in ... >> >> - is the @nocolor configurable? No. It's hard coded, on the theory that if you are using @edit then Leo doesn't know how to color the language. >> - have @asis and @nosent been replaced by @edit? No. > @edit reads the content of the disk file on startup (when the Leo > file's loaded), and when you do refresh from disk. I think @nosent is > purely Leo -> file, no reading. Not sure about @asis, that might be > deprecated. There is little point in deprecating @asis. As Terry says, it is not possible to update @nosent and @asis from external files: that's possible only with @edit, @auto and @file. BTW, @thin is a deprecated synonym for @file. Clearly, the @<file> terminology is misleading when talking about refreshing from disk. But "refresh @auto, @edit or @file" is a quite a mouthful. Creating a new terminology for these wouldn't help much either, imo. The only thing that would help is knowing which forms of @<file> it makes sense to update from external files. As I write this, it seems that the best thing to do would be to beef up the docstring for refresh-from-disk. But no such minibuffer command exists. I'll look into adding that command explicitly, with a truly helpful docstring that you can view using help-for-command. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en. -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
