Re: Encoding of etc/HELLO

[Paul Eggert]

Eli Zaretskii wrote:

> What do you mean by "unified" here?

What I meant was that, as far as I know, in Emacs this font selection currently 
does not depend on whether the charset is latin-iso8859-1 or latin-iso8859-3, 
because in UTF-8 text those two charsets are always displayed the same way that 
text sans charsets is displayed. And given the way the world has moved, it's 
hard to imagine any future version of Emacs caring whether the charset is 
latin-iso8859-1 or latin-iso8859-3 in UTF-8 text.

charset properties like japanese-jisx0208 do matter for display of course, and 
so should be kept.

> The 'charset' property just tells Emacs to which "culture", so-called,
> or, if you want, to which language the greeting belongs

RFC 1896 specifies the 'lang' command to specify languages. Shouldn't etc/HELLO 
do that instead of using 'charset'? That would seem to match the intent of 
text/enriched better.