请教下display-line-number-mode 的字体大小跟默认设置的字体大小不一致，是怎么回事

xplutoy · 2023 年6 月 26 日 16:42

xplutoy · 2023 年6 月 27 日 02:23

跟这个问题一样，都是由于ef-themes-mixed-fonts 引起的。