Thinking of introducing a mode line with proportional fonts into Emacs (2021)lars.ingebrigtsen.no43 pointsmooreds4 years ago