Re: Variable pitch mode line

[Eli Zaretskii]

> From: Juri Linkov <juri@linkov.net>
> Cc: Lars Ingebrigtsen <larsi@gnus.org>,  tsdh@gnu.org,  Eli Zaretskii
>  <eliz@gnu.org>,  monnier@iro.umontreal.ca,  emacs-devel@gnu.org
> Date: Sun, 26 Dec 2021 09:39:20 +0200
> 
> >> Assuming no styles are used that could hide content, it would be much
> >> simpler and fast just to strip all HTML tags from the HTML file, e.g.
> >
> >>   <p>For information on extending Emacs,
> >>   see <a href="elisp/index.html#Top">Emacs Lisp</a> in <cite>The
> >>   Emacs Lisp Reference Manual</cite>.</p>
> >
> >> will become
> >
> >>   For information on extending Emacs,
> >>   see Emacs Lisp in The
> >>   Emacs Lisp Reference Manual.
> >
> >> where you can search for "see Emacs Lisp".
> >
> > What about "The Emacs Lisp Reference Manual"?
> 
> The search will ignore newlines like info.el already does
> with Info-search-whitespace-regexp containing newlines.

Why would you need to ignore newlines, when the original HTML file has
only hard newlines in it?  We should not insert newlines into the text
when we render it, we should use visual-line-mode instead.  Then the
problem with ignoring newlines will be solved as a nice bonus.