[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: HTML info
From: |
Eli Zaretskii |
Subject: |
Re: HTML info |
Date: |
Fri, 24 Dec 2021 10:48:55 +0200 |
> From: Juri Linkov <juri@linkov.net>
> Cc: Eli Zaretskii <eliz@gnu.org>, Stefan Monnier
> <monnier@iro.umontreal.ca>, tsdh@gnu.org, Lars Ingebrigtsen
> <larsi@gnus.org>, emacs-devel@gnu.org
> Date: Fri, 24 Dec 2021 10:34:34 +0200
>
> 1. Intersperse the existing Info-search with such conditionals:
>
> (if info-html-minor
> (search-forward "<div class="contents">")
> (search-forward "\n\^_\nIndirect:"))
>
> 2. Add more hooks to every Info top command,
> so Info-html-mode could register own handlers:
>
> (add-hook 'Info-search-function 'Info-html-search)
>
> 3. Completely duplicate all top Info commands in a new package
> info-html.el.
I think a new package would be cleaner. It can always borrow ideas
and even code from info*.el, as appropriate.
In addition, I suggest to look at the Javascript code developed by
Texinfo, to maybe reuse some ideas and look-and-feel. There's no need
for Emacs to depart from what's there where commonality makes sense.
- Re: Variable pitch mode line, (continued)
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/23
- Re: Variable pitch mode line, Juri Linkov, 2021/12/23
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/23
- Re: Variable pitch mode line, Juri Linkov, 2021/12/23
- Re: Variable pitch mode line, Stefan Monnier, 2021/12/23
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/23
- Re: Variable pitch mode line, Stefan Monnier, 2021/12/23
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/23
- HTML info, Yuan Fu, 2021/12/23
- Re: HTML info, Juri Linkov, 2021/12/24
- Re: HTML info,
Eli Zaretskii <=
- Re: HTML info, Lars Ingebrigtsen, 2021/12/24
- Re: HTML info, Po Lu, 2021/12/24
- RE: [External] : Re: HTML info, Drew Adams, 2021/12/24
- Re: HTML info, Juri Linkov, 2021/12/25
- Re: HTML info, Yuan Fu, 2021/12/26
- Re: HTML info, Eli Zaretskii, 2021/12/26
- Re: HTML info, Juri Linkov, 2021/12/26
- Re: HTML info, Juri Linkov, 2021/12/27
- Re: HTML info, Lars Ingebrigtsen, 2021/12/26
- Re: HTML info, Eli Zaretskii, 2021/12/26