[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Syntax question: What is BORDER in 4.17. Text Markup?
From: |
Jens Lechtenboerger |
Subject: |
Re: Syntax question: What is BORDER in 4.17. Text Markup? |
Date: |
Wed, 7 Dec 2022 11:29:29 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
On 2022-12-07, Timothy wrote:
> Hi Jens,
>
>> Actually, what about this? Get rid of both, BORDER and BODY, and
>> specify CONTENTS as follows:
>> “Either a string (when MARKER represents code or verbatim) or a
>> series of objects from the standard set, not spanning more than
>> three lines. In any case, CONTENTS must neither begin nor end with
>> whitespace.”
>
> This seems like an improvement to me, implemented in 56338725e61 :)
Many thanks, Timothy!
Best wishes
Jens