[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fixed vs variable pitch font [legibility 4/6]
|
From: |
Texas Cyberthal |
|
Subject: |
Re: Fixed vs variable pitch font [legibility 4/6] |
|
Date: |
Tue, 11 Feb 2020 15:12:14 +0800 |
#+begin_quote Bastien
> Having said that, if Org could have a simple org-mixed-pitch-mode, or
> something like that, that could be very helpful, since it could make
> such configuration much easier.
If anyone wants to start coding something like this, we can consider
referencing it on Worg.
#+end_quote
Why does there need to be an Org version of mixed-pitch-mode? It
already works for Org.
https://gitlab.com/jabranham/mixed-pitch