improve gui+

This commit is contained in:
Jesus E 2023-05-13 16:52:21 -04:00
parent 749a1cb33f
commit 821b54fe2a
No known key found for this signature in database
GPG Key ID: 159C8F8BC9AED8B6

View File

@ -54,13 +54,10 @@
(lambda () (lambda ()
(setq line-spacing 0))) (setq line-spacing 0)))
;; Font theme (Monospace, or DejaVu Sans Mono if Monospace is not ;; Font theme (DejaVu Sans Mono if Hack isn't present)
;; present) (if (member "Hack" (font-family-list))
(condition-case nil
(set-frame-font "Hack-9") (set-frame-font "Hack-9")
;; (set-frame-font "Monospace-9") (set-frame-font "DejaVu Sans Mono-10"))
;; (set-frame-font "Anonymous Pro-10")
(error (set-frame-font "DejaVu Sans Mono-10")))
;;---------------------------------------------------------------------------- ;;----------------------------------------------------------------------------
;; Configure keys ;; Configure keys