|
| From: | Tomas Hlavaty |
| Subject: | Re: Variable pitch mode line |
| Date: | Fri, 24 Dec 2021 08:55:11 +0100 |
On Fri 24 Dec 2021 at 08:50, Eli Zaretskii <eliz@gnu.org> wrote: > This has been tried before, and turned out to be unworkable. ok
| [Prev in Thread] | Current Thread | [Next in Thread] |