Subject: Re: bug#16225: 24.3.50; [PATCH] eww: machinery to set character encoding.

From: Lars Ingebrigtsen <[email-masked]>
Date: Tue, 24 Dec 2013 08:52:51 +0100

Kenjiro NAKAYAMA <[email-masked]> writes:

> This report includes a patch to the bug. Please, review and install it
> to the official tree if appreciated.
>
> The user can't change encoding type. This patch is to fix it.

Allowing the user to alter the encoding seems like a good idea.
However, the implementation doesn't seem ideal.  The best way to handle
this would be to have the `E' command prompt for the charset, and then
re-render the page immediately without setting any global variables.

-- 
(domestic pets only, the antidote for overdose, milk.)
  bloggy blog http://lars.ingebrigtsen.no/