[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Correspondence between web-pages and Info-pages

From: Stefan Monnier
Subject: Re: Correspondence between web-pages and Info-pages
Date: Tue, 30 Dec 2014 11:55:47 -0500
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux)

> Don't overlook two important parts of this: using the same name both for
> user input and for display,

That's good, yes, but is a UI issue which can be fixed regardless of
Info-vs-HTML-vs-whateverelse and regardless of which kind of names
we use.

IOW it's unrelated to the discussion at hand.
You can just `M-x report-emacs-bug' and you/we can fix those issues.

> and using different names for different formats
> of a page (Info vs. HTML).

No: I specifically don't want to use different names for different formats.
Instead I want to use a single name that works both in your web-browser
and in Emacs, and that gives the best experience possible in both cases
(i.e. in a web-browser it needs to be HTML, and inside Emacs it would
have to be Info for now and maybe some HTML-Info in some future).


reply via email to

[Prev in Thread] Current Thread [Next in Thread]