Re: Enhancements to options menu (was Re: Reveal mode)

[Colin Walters]

On Tue, 2002-05-07 at 20:27, Miles Bader wrote:

> Supporting HTML would be _much_ more complex than making simple
> extensions to info (note that the w3 html rendering code, which has been
> worked on for many years, is still very buggy, and almost unusably slow
> on many machines).

Supporting *all* of HTML certainly would be an enormous effort.  But
supporting the simple subset that texi2html generates shouldn't be hard.