On Fri, 10 Aug 2012 08:19:54 -0500 "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. Actually @edit is language aware, @edit a .py file will insert @language python. I think what's not configurable is to have it insert nothing, if you prefer to avoid the visual clutter. So, that would be a @setting that could be added, if it was wanted. Cheers -Terry > >> - 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.
