From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Yuan Fu Newsgroups: gmane.emacs.devel Subject: Re: Variable pitch mode line Date: Thu, 23 Dec 2021 12:51:10 -0800 Message-ID: <8B7890FE-9DFB-4282-8391-955032220234@gmail.com> References: <87zgosdbo1.fsf@gnus.org> <86mtkszhnq.fsf@mail.linkov.net> <87o858e5r2.fsf@gnu.org> <86fsqjcqd8.fsf@mail.linkov.net> <87zgorawar.fsf@logand.com> Mime-Version: 1.0 (Mac OS X Mail 15.0 \(3693.40.0.1.81\)) Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="10168"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Lars Ingebrigtsen , Tassilo Horn , emacs-devel@gnu.org, Juri Linkov To: Tomas Hlavaty Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Thu Dec 23 21:51:51 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 1n0V43-0002TC-VU for ged-emacs-devel@m.gmane-mx.org; Thu, 23 Dec 2021 21:51:51 +0100 Original-Received: from localhost ([::1]:51294 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n0V42-0003fg-1K for ged-emacs-devel@m.gmane-mx.org; Thu, 23 Dec 2021 15:51:50 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:33584) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n0V3T-00030a-36 for emacs-devel@gnu.org; Thu, 23 Dec 2021 15:51:15 -0500 Original-Received: from [2607:f8b0:4864:20::62a] (port=40772 helo=mail-pl1-x62a.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n0V3R-0003Yl-Jx for emacs-devel@gnu.org; Thu, 23 Dec 2021 15:51:14 -0500 Original-Received: by mail-pl1-x62a.google.com with SMTP id v19so5214391plo.7; Thu, 23 Dec 2021 12:51:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=T9nOxCxSlKKoKvktSXj+WDxmNYMxbo4tbwjAbpyNwUk=; b=YOrItIHmTyWn2aLm+x+WsQqDkK3wB9+ZSJpYnZQ366ZU2j20bXD/PshdAJZOm9XREA R1G1c+h1/oM1cQRe7ASLUyo43vvygX2NL0375DNiprokIPlTS1yLv49py32ltZ/8qYZa hIE909iSY+nt/DPfDuhGx5w/qm3BNgXJwBIBwPJKBfmdi6sBmkCytvOdLKiSJxB9mdq7 NIZRPxT6V7vmwK5jLtwoH3CRrxRfok2BNAL176TJ9Uwe/KSjj/vJ9RteErMXN4m/vU3v OvwJpt2ixyHt4EzoCyRWJZCgIHNGKiSQG8hAG5OArCbxAsXvyT/43FX6e6byBpo+gsN9 3UtQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=T9nOxCxSlKKoKvktSXj+WDxmNYMxbo4tbwjAbpyNwUk=; b=kUTWgFItsskbugrEbf1rz1brCwoLls9FHwZMiPxCziKSfMnDIe2mgBwQdbrO5cZHsS lAKnbzoExLNlJlzi/0QKF3pMiluKsbEFFNS5vBLr5CSMxMgmx9X80eV5uDyXHrW2CGey 9b2/ASej1mM9dqFqSLwpa9cROHm0yU/BeD0AtrTaVRYXZHJiWKQSU67l8F3V7CJIbXMX z7ER8nDsOMldcA5AdIinlFLUOjQ7qvMAfEfoXgdFEELYIQ2NiGbEiBAU6LoPQEsDd0wF qWNWozxbGlLPC1TixCsrFPEL2TpZedpY0iFACksoFKj5JMPJyEeHzpfw0FQU47h86Mc2 LqMg== X-Gm-Message-State: AOAM532YC1ThR8o8tLSDRrfz+Eg7tsJgdkXfO3vyGCyMGCLRDmVgphx5 baaNzP6eOsWVrRpIBEmTjaY= X-Google-Smtp-Source: ABdhPJxUcxjc9KNVdQ/BZhhMwloTV+ecv349OW3W4hKO7gyWG8iaHN35fW02QdDqHtIwd+zybYNixw== X-Received: by 2002:a17:90b:38cd:: with SMTP id nn13mr4653088pjb.37.1640292671891; Thu, 23 Dec 2021 12:51:11 -0800 (PST) Original-Received: from smtpclient.apple ([2600:1700:2ec7:8c90:d149:cff8:e7a4:12f0]) by smtp.gmail.com with ESMTPSA id nn16sm10266996pjb.54.2021.12.23.12.51.10 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 23 Dec 2021 12:51:11 -0800 (PST) In-Reply-To: <87zgorawar.fsf@logand.com> X-Mailer: Apple Mail (2.3693.40.0.1.81) X-Host-Lookup-Failed: Reverse DNS lookup failed for 2607:f8b0:4864:20::62a (failed) Received-SPF: pass client-ip=2607:f8b0:4864:20::62a; envelope-from=casouri@gmail.com; helo=mail-pl1-x62a.google.com X-Spam_score_int: -12 X-Spam_score: -1.3 X-Spam_bar: - X-Spam_report: (-1.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action 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:283041 Archived-At: > On Dec 23, 2021, at 12:41 PM, Tomas Hlavaty wrote: >=20 >>=20 >> The only way to reliably support variable pitch in the Info reader >> is by using HTML output from Texinfo and rendering it with eww/shr. >>=20 >> But the problem is that most GNU/Linux distributions still don't = include >> Info manuals in the HTML format alongside with the Info format. >> Thus we are stuck with monospaced Info manuals forever. > iirc info files are not that complex. How difficult would it be to > transform an info file to html in Lisp and display it with eww/shr on > the fly? In my emacs-unoffice package, I explored this for various > office formats and it seems like a reasonably useable solution. >=20 I=E2=80=99ve tried that. Info files are not complex, but they can=E2=80=99= t be reliably parsed 100% of the time. My code works for like 95% of the = nodes, but there are always some corner cases where it breaks. I think = TRT is to use html files. Yuan=