On Sun, Sep 19, 2021 at 7:56 AM [email protected] <[email protected]> wrote:
IMO, this capability should be fairly robust. I agree, but this extra "robustness" comes with a (hopefully small) compatibility cost. I wonder if there is ever any case where someone deliberately inserts a > leading space before an "@" character, possibly to disable it (instead of, > e.g., writing "@@" or "#@"). > Any such munging would be foolish. Leo is under no obligation to load such adulterated 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS3f%3D0j9zCxkeacTffkeEir8rpsvcLJbw_O0FsZRW5g9sg%40mail.gmail.com.
