No need to do anything, I was just curious about the state of affairs. I'll continue to use @auto and strip the leading @language ... line before sending the body to work.
Thanks, Kent On Fri, Aug 10, 2012 at 8:19 AM, Edward K. Ream <[email protected]> wrote: > 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.
