From 82a2fcccfd677c95e9b13a0b46c0ea8467d85a49 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Tue, 4 Jan 2022 11:22:28 +0000 Subject: [PATCH] Prefer JetBrains Mono if it is installed --- roles/home-gui/files/fonts.conf | 1 + 1 file changed, 1 insertion(+) diff --git a/roles/home-gui/files/fonts.conf b/roles/home-gui/files/fonts.conf index 32e97f6..b17b8c2 100644 --- a/roles/home-gui/files/fonts.conf +++ b/roles/home-gui/files/fonts.conf @@ -84,6 +84,7 @@ monospace + JetBrains Mono Noto Sans Mono DejaVu Sans Mono Bitstream Vera Sans Mono