From 2dc3f1dfb6744524a050df2baeef3c71c0fbd733 Mon Sep 17 00:00:00 2001 From: Daniel Weschke Date: Mon, 7 Jul 2025 19:21:48 +0200 Subject: [PATCH] fix fonts --- settings/theme-settings.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/settings/theme-settings.el b/settings/theme-settings.el index 302bcb4a..3da2e368 100644 --- a/settings/theme-settings.el +++ b/settings/theme-settings.el @@ -53,9 +53,9 @@ (cond ((find-font (font-spec :family "FiraCode Nerd Font")) - (set-face-font 'default (font-spec :family "FiraCode Nerd Font" :size 13))) + (set-face-font 'default (font-spec :family "FiraCode Nerd Font"))) ((find-font (font-spec :family "DejaVu Sans Mono")) - (set-frame-font (font-spec :family "DejaVu Sans Mono" :size 15))) ) + (set-frame-font (font-spec :family "DejaVu Sans Mono"))) ) ;; (Set-fontset-font FONTSET CHARACTERS FONT-SPEC &optional FRAME ADD) ;; CHARACTERS see `script-representative-chars' and