On Saturday, 26 August 2017 19:40:47 UTC+2, Edward K. Ream wrote: > > On Sat, Aug 26, 2017 at 8:30 AM, Josef <joe...@gmx.net <javascript:>> > wrote: > > I was hoping to be able to read into an @clean node instead of using @auto >> or @nosent, as I need to cooperate with others, not using Leo. >> > > Why is this a problem? Just read the file into @auto the first time, > then change it to @clean. >
Doh! Of course that is the simplest solution and works fine for the latex files. It won't work out of the box for jupyter files, since these contain all kind of stuff which should not go into the normal python node bodies, but still need to be written back if we want to round-trip jupyter files. If that other stuff is moved out of the way to be able to run jupyter files as scripts in Leo, then we will have to undo this moving out of the way when writing jupyter files back. > >> If nested @clean nodes ever become viable, great. In the meantime I stick >> to having the @clean nodes all on the same level and linking them to the >> nodes in the document tree, where they are \input. >> > > I don't see any enhancement request for nested @clean, perhaps I once > disparaged (rejected?) such a thing. Right now it seems a reasonable thing > to want. Please do file an enhancement request, giving a real-world LaTeX > example as motivation. > The enhancement request already exists, and you filed it yourself a while ago, although under a different title: >> I've just created #525: Ignore @clean in descendants of @others nodes <https://github.com/leo-editor/leo-editor/issues/525> I will add a latex example soon, but want to write it to be useful in a test case, so it covers all relevant aspects. This may still take a bit of thinking. - Josef -- 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
