diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-01-16T19·18+0000 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-01-17T10·56+0000 |
| commit | 3de091ba2bf7c92f07ec2790785c9a0c3735a0aa (patch) | |
| tree | 7468bb49deba90a5a4f5ad01ab4e4225076f044a /configs | |
| parent | 7a6ed72bf583f023a515e12ad43c131b6c7795ee (diff) | |
Whitelist Mononoki and JetBrainsMono in fonts.el
What's the point of adding them if I'm not going to use them?
Diffstat (limited to 'configs')
| -rw-r--r-- | configs/shared/.emacs.d/wpc/fonts.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configs/shared/.emacs.d/wpc/fonts.el b/configs/shared/.emacs.d/wpc/fonts.el index cd2e153270d0..cc8b15c10c7e 100644 --- a/configs/shared/.emacs.d/wpc/fonts.el +++ b/configs/shared/.emacs.d/wpc/fonts.el @@ -52,7 +52,9 @@ (cycle/from-list (list/concat fonts/hacker-news-recommendations - '("Monospace" + '("JetBrainsMono" + "Mononoki Medium" + "Monospace" "Operator Mono Light" "Courier" "Andale Mono" |