diff options
| -rw-r--r-- | config.org | 11 |
1 files changed, 4 insertions, 7 deletions
| diff --git a/config.org b/config.org index 0502255..5885c78 100644 --- a/config.org +++ b/config.org | |||
| @@ -416,23 +416,20 @@ Anyway, I should probably be able to figure out how to properly change the theme | |||
| 416 | (interactive) | 416 | (interactive) |
| 417 | (when (display-graphic-p) | 417 | (when (display-graphic-p) |
| 418 | (set-face-from-alternatives 'default | 418 | (set-face-from-alternatives 'default |
| 419 | '(("Libertinus Mono" | 419 | '(("Input Mono" |
| 420 | :height 110) | 420 | :height 105) |
| 421 | ("Linux Libertine Mono O" | ||
| 422 | :height 110) | ||
| 423 | ("Go Mono" | 421 | ("Go Mono" |
| 424 | :height 100) | 422 | :height 100) |
| 425 | ("Consolas" | 423 | ("Consolas" |
| 426 | :height 100))) | 424 | :height 100))) |
| 427 | 425 | ||
| 428 | (set-face-from-alternatives 'fixed-pitch | 426 | (set-face-from-alternatives 'fixed-pitch |
| 429 | '(("Linux Libertine Mono O") | 427 | '(("Input Mono") |
| 430 | ("Go Mono") | 428 | ("Go Mono") |
| 431 | ("Consolas"))) | 429 | ("Consolas"))) |
| 432 | 430 | ||
| 433 | (set-face-from-alternatives 'variable-pitch | 431 | (set-face-from-alternatives 'variable-pitch |
| 434 | '(("Libertinus Serif") | 432 | '(("Input Serif") |
| 435 | ("Linux Libertine O") | ||
| 436 | ("Georgia"))) | 433 | ("Georgia"))) |
| 437 | 434 | ||
| 438 | (remove-function after-focus-change-function #'acdw/setup-fonts))) | 435 | (remove-function after-focus-change-function #'acdw/setup-fonts))) |