|
From: | Colin Macdonald |
Subject: | Re: Texinfo and error messages |
Date: | Thu, 3 Oct 2019 16:28:53 -0700 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.1.0 |
On 2019-10-03 9:35 a.m., Mike Miller wrote:
Using @print seems preferable for multi-line errors, even if we can't have it in red. And if we prefer @print for multi-line errors, shouldn't we also use it for one-line errors to be consistent?
Unfortunately I agree with you ;-) Colin
[Prev in Thread] | Current Thread | [Next in Thread] |