From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Variable pitch mode line Date: Sun, 26 Dec 2021 10:46:37 +0200 Message-ID: <83mtknpxci.fsf@gnu.org> References: <87zgosdbo1.fsf@gnus.org> <86mtkszhnq.fsf@mail.linkov.net> <87o858e5r2.fsf@gnu.org> <86fsqjcqd8.fsf@mail.linkov.net> <87zgor41oc.fsf@gnus.org> <86lf0b6uf0.fsf@mail.linkov.net> <87v8zf40qw.fsf@gnus.org> <8635mj5ept.fsf@mail.linkov.net> <86ee62o4bs.fsf@mail.linkov.net> <83r1a2rzyu.fsf@gnu.org> <87bl162nnz.fsf@gnus.org> <87ee62chea.fsf@yahoo.com> <877dbu2mfw.fsf@gnus.org> <875yrecfjc.fsf@yahoo.com> <86ilvco9ix.fsf@mail.linkov.net> <87czlk6tph.fsf@yahoo.com> <868rw74z0a.fsf@mail.linkov.net> Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="30094"; mail-complaints-to="usenet@ciao.gmane.io" Cc: luangruo@yahoo.com, larsi@gnus.org, emacs-devel@gnu.org, monnier@iro.umontreal.ca, tsdh@gnu.org To: Juri Linkov Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sun Dec 26 09:48:04 2021 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1n1PCG-0007fe-GS for ged-emacs-devel@m.gmane-mx.org; Sun, 26 Dec 2021 09:48:04 +0100 Original-Received: from localhost ([::1]:33934 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n1PCE-00022Z-HM for ged-emacs-devel@m.gmane-mx.org; Sun, 26 Dec 2021 03:48:02 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:56148) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n1PAg-0001JB-Kh for emacs-devel@gnu.org; Sun, 26 Dec 2021 03:46:26 -0500 Original-Received: from [2001:470:142:3::e] (port=48136 helo=fencepost.gnu.org) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n1PAf-0005Qw-2G; Sun, 26 Dec 2021 03:46:25 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=lDJnN8IhPHNBNNx5CMIk4nIYqWiyc3PPgNxcbZEtp/A=; b=dUVHbkOWUwYC bTBGXFoRr+tKVHb+AFdYyfvJGBMqWwfEfGYzJ22xnEdrQm0kjs90P5a2kVjigJj5xsXzXAEFg9onP ANDa7VfDK+0jy4BrKJH8ANyXDVnimEMeuHxOn230YvbEEgSre2HfsIHOO9pPmJCUzpWSqfvJypYIu L6W9OTOBm08kB+ukWiBGpLbILAgivULfLDU5TgVW4XNv42RA3RHwBjORLIPUY5CHWpOh9XpxIWdJK qJpyYfDvVsSiVhl85rLZttp5TcWdbzTNMDPo4vQ3iPXO+EfIvdhdlU/m77ondcCOKBmneaAlQ0mMk 34GouozXkaoFRIp++SnwPg==; Original-Received: from [87.69.77.57] (port=2428 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n1PAe-00055m-P4; Sun, 26 Dec 2021 03:46:25 -0500 In-Reply-To: <868rw74z0a.fsf@mail.linkov.net> (message from Juri Linkov on Sun, 26 Dec 2021 09:39:20 +0200) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:283268 Archived-At: > From: Juri Linkov > Cc: Lars Ingebrigtsen , tsdh@gnu.org, Eli Zaretskii > , 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. > > > >>

For information on extending Emacs, > >> see Emacs Lisp in The > >> Emacs Lisp Reference Manual.

> > > >> 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.