Re: Non-ASCII characters in Info files produced by Texinfo 7.1

[Po Lu]

Ulrich Mueller <ulm@gentoo.org> writes:

>>>>>> On Tue, 24 Oct 2023, Manuel Giraud wrote:
>
>> For ` and ', I think we should take the new behaviour.  It is less
>> unsettling than the en-dash and while a "C-s Don't" works out of the box
>> in Info-mode it does not work with "M-x occur" for instance.
>
> IMHO the grave accent U+0060 looks horrible as a quotation mark,
> especially with modern fonts.

On the same note, Unicode quotation marks are displayed by a font
distinct from that used for ASCII text.  The upshot is that each line
with quotation marks is displayed several pixels taller than the rest,
producing a hideously incongruous mixture of lines varying in height.

To counteract this, I have configured the standard display table to
display Unicode quotation characters as their grave and apostrophe
counterparts, which I consider something Info mode ought to do by
default.  Yet others seem to know better.

But I digress; we should enable the Texinfo option that reverts to the
status quo, if not disable Unicode altogether, for the alternative of
replacing all dashes and quotation characters in texi source with
Unicode would render their editing agonizingly ungainly.