diff options
| author | noa@gaiwan.org | 2024-06-27 14:13:04 +0000 |
|---|---|---|
| committer | noa@gaiwan.org | 2024-06-27 14:13:04 +0000 |
| commit | 922b9398472a967c478740bb076f3a3937228460 (patch) | |
| tree | 8b03e0ae509ae4ae67c2e46983a0bdaf3fd19c28 | |
| parent | 15505ee22d1341208bb90d8edeeca580982ffcf2 (diff) | |
Put font settings under font heading
| -rw-r--r-- | config.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config.org b/config.org index 1b7ebd1..275451f 100644 --- a/config.org +++ b/config.org @@ -244,7 +244,7 @@ Update the calendar. We want weeks to start on a monday, the first day of the w calendar-date-style 'iso) #+end_src -** Monospace font fallback +*** Monospace font fallback This is my own version of fixed-pitch, which has some changes to it. No hooks are added by default. Updating the whitelist automatically applies the hooks. And there is no functionality for changing the cursor type. @@ -260,7 +260,7 @@ This is my own version of fixed-pitch, which has some changes to it. No hooks a proced-mode-hook)) #+end_src -** Transient variable font +*** Transient variable font While we're at it, ensure that transients look nice with a variable pitch font. |