On 7/11/2014 23:25, Eli Zaretskii wrote:

> Patches for Gnulib functions should be sent to the Gnulib mailing
> list, [email protected].

In that case, I'll send the additional patches of my grep port.

> Btw, is this change really worth the hassle?

Yes, since when I used your Windows port with my INFOPATH variable,
it would duplicate the entries in a dir file.

> But doesn't that require to use a specific font (Lucida Console,
> AFAIR) to be able to show the Unicode characters, such as quotes,
> frequently used by UTF-8 encoded Info files nowadays?

If you use a TrueType font, characters not in the font will show
as the default character (i.e. the box); if you use a raster font,
Windows will translate as best it can (so curly quotes will become
their ASCII equivalent), otherwise you get a question mark.  Either
way is better than the wrong characters (latin1 interpreted as OEM
or the raw UTF-8 bytes).  (BTW, anyone who likes raster 8x12 might
like my TrueType conversion: http://terminalvector.adoxa.vze.com/
It does have curly quotes.)

-- 
Jason.

Reply via email to