Henrik Lissner 075e66f4d7 Fix #4991: writeroom-mode + mixed-pitch not remapping fonts ...

mixed-pitch-mode was toggled *before* text-scale-mode was.  They both
preform face remapping, but use the same strategy to accomplish it, so
the less complex mode should go first. In this case, that's text-scale.

2021-05-07 02:32:51 -04:00

2.8 KiB

Raw Blame History

View Raw