Leo's colorizing machinery suffers from one of Leo's worst bugs in decades. The symptoms: text in LeoDocs.leo *disappears.* I don't yet know the exact circumstances that cause this disappearance.
I *do* know one node that suffered disappearing text: * Theory of operation: c.deletePositionsInList* Here's why the bug is dangerous. All the text *following *the following sections disappeared. **Completing the proof** and **Discussion I was tempted to delete these "empty" sections. I would have lost data! *Summary* Do not delete *apparently *empty sections when @language rest is in effect. You may unwittingly lose data if you do. My apologies for this mess. I'll fix this bug later today or tomorrow. I presume this bug stems from recent changes to leoColorizer.py or mode files. Edward -- 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 view this discussion visit https://groups.google.com/d/msgid/leo-editor/545e34aa-de3a-4ffa-a0a5-ceb11fb380b1n%40googlegroups.com.