diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2024-02-21 13:04:46 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2024-02-21 13:04:46 +0100 |
commit | ab4c6c7b0bf61c5a0789516695dd4c574aa7a6cb (patch) | |
tree | d838ea40d1718501ea04abb933ce70bedae8680c | |
parent | 815890212809f55049ff04120b8ee34ece67ea33 (diff) |
modus: Disable variable pitch in UI elements.
-rw-r--r-- | init.org | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -184,7 +184,7 @@ The Modus themes look pretty nice. (t . (monochrome)))) (setq modus-themes-bold-constructs t) (setq modus-themes-org-blocks nil) - (setq modus-themes-variable-pitch-ui t) + (setq modus-themes-variable-pitch-ui nil) (setq modus-themes-prompts '(bold)) (setq modus-themes-to-toggle '(modus-operandi-tinted modus-vivendi-tinted)) (setq modus-themes-common-palette-overrides |