你即將離開本站

並前往https://gitlab.com/jabranham/mixed-pitch

Alex Branham / mixed-pitch

Mixed Pitch. Mixed pitch is a minor mode that enables mixing fixed-pitch (also known as fixed-width or monospace) and variable-pitch (AKA “proportional”) fonts.

確定！ 回上一頁

查詢 「variable-pitch font」的人也找了：

  1. variable-pitch-mode
    2.
  2. org-mode font size
    3.
  3. beautify org-mode
    4.