may or may not be related to *"Leo thinks v5-thin .leo is v3 .leo and doesn't load it"* https://github.com/leo-editor/leo-editor/issues/61
-matt On Wed, Oct 1, 2014 at 9:13 AM, Kent Tenney <[email protected]> wrote: > The following problem does NOT occur if using @edit instead of @auto > > h: @auto mkdocs/docs/nodes.md <- rclick refresh from disk > > ======================================== > reading: @auto mkdocs/docs/nodes.md > Error: @auto did not import @auto mkdocs/docs/nodes.md perfectly > The clean-all-lines command may help fix whitespace problems > first mismatched line: 0 (original) = 0 (imported) > Original file... > > 0 u'- the content instances associated with this node are\n' > 1 u' - `current_content`\n' > 2 u' - `primary_content`\n' > > Imported file... > > 0 u'#Tables\n' > 1 u' >>> from models import Base\n' > 2 u' >>> tables = Base.metadata.tables\n' > errors inhibited read @auto /home/ktenney/develop/mkdocs/docs/nodes.md > ======================================== > > the clean-all-lines command doesn't help > > if I > - delete lines @ignore and the warning > - save the Leo file > - rclick refresh from disk > > it works going forward > > correction: > save and refresh from disk work, but refresh from disk reintroduces > 'Warning: this node is ignored when writing this file' > > Thanks, > Kent > > -- > 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. > For more options, visit https://groups.google.com/d/optout. > -- 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. For more options, visit https://groups.google.com/d/optout.
