Re: numeric entities

[Katsumi Yamaoka <yamaoka@jpl.org>]

Lars Magne Ingebrigtsen wrote:
> Katsumi Yamaoka <yamaoka@jpl.org> writes:

>> When reading html articles, I sometimes see numeric entities like
>> "&#155;".  Currently `shr' and `gnus-w3m' render it as "\233", but
>> it should be "›", i.e. U+8250.  Here is a conversion table stolen
>> from emacs-w3m (#155 is there as #x9B):
>>
>> (defvar mm-url-extra-numeric-entities

> It's this mostly the same as `gnus-article-dumbquotes-map'?  Looks
> somewhat bigger, though.  So perhaps that should be installed, and then
> `article-treat-dumbquotes' could just use that map instead?

`gnus-article-dumbquotes-map' uses only ASCII characters, so it
seems still helpful to people who use an old terminal emulator.
That is for normal text, not html, isn't it?  So, if we make
`article-treat-dumbquotes' do "\200;"->"€" things, it may have
to be for only environments that support such non-ASCII characters.
OTOH, those who use `shr' or `gnus-w3m' will probably use a modern
terminal or Emacs' display engine.

>> I can implement it in mm-url.el, that is effective to `gnus-w3m',
>> but I hesitate to use it in `mm-shr' before calling
>> `libxml-parse-html-region'.  WDYT? (IOW, isn't it better to make
>> `libxml-parse-html-region' do it by itself?  It's too much for me
>> though.)

> I think `libxml-parse-html-region' should just mainly parse what it's
> given, for greater flexibility.  But perhaps `mm-shr' and `gnus-w3m'
> should just convert these automatically -- they never actually make much
> sense.

Done for `mm-shr' and `gnus-w3m'.  If it slows Gnus, making
`mm-extra-numeric-entities' a char-table may be better.  Maybe so
is `mm-url-html-entities'.