diff options
| author | Case Duckworth | 2021-01-02 10:02:31 -0600 |
|---|---|---|
| committer | Case Duckworth | 2021-01-02 10:02:31 -0600 |
| commit | 6defa79120716b3d962d47a08400adecb5c21777 (patch) | |
| tree | 0d3444f6a31014da64c090d548313c905c102ffa | |
| parent | Whitespace (diff) | |
| download | emacs-6defa79120716b3d962d47a08400adecb5c21777.tar.gz emacs-6defa79120716b3d962d47a08400adecb5c21777.zip | |
Change fonts
| -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))) |