[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Enhancements to options menu (was Re: Reveal mode)
From: |
Eli Zaretskii |
Subject: |
Re: Enhancements to options menu (was Re: Reveal mode) |
Date: |
Wed, 8 May 2002 17:15:32 +0300 (IDT) |
On Wed, 8 May 2002, Stefan Monnier wrote:
> I thought we were talking about extending/changing info.el to support the
> HTML format (or a subset of it).
Perhaps everybody else was, in which case I apologize for a gross
misunderstanding.
If extending info.el is the issue, I tend to agree with Kai: implementing
a whole new browser sounds like a large job. Much larger than making it
possible to display inline images in an Info file.
- Re: Enhancements to options menu (was Re: Reveal mode), (continued)
- Re: Enhancements to options menu (was Re: Reveal mode), Eli Zaretskii, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Per Abrahamsen, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Eli Zaretskii, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Stefan Monnier, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Eli Zaretskii, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Stefan Monnier, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode),
Eli Zaretskii <=
- Re: Enhancements to options menu (was Re: Reveal mode), Simon Josefsson, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Alan Shutko, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Karl Eichwalder, 2002/05/12
- Re: Enhancements to options menu (was Re: Reveal mode), Eli Zaretskii, 2002/05/12
- Re: Enhancements to options menu (was Re: Reveal mode), Miles Bader, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Robert J. Chassell, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Eli Zaretskii, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Karl Eichwalder, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Stefan Monnier, 2002/05/08
- Re: Enhancements to options menu (was Re: Reveal mode), Richard Stallman, 2002/05/09