fix indent

This commit is contained in:
Jesús 2018-10-26 20:04:23 -05:00
parent 179372135d
commit 4a3d8a46f9
No known key found for this signature in database
GPG Key ID: F6EE7BC59A315766
5 changed files with 14 additions and 12 deletions

View File

@ -33,7 +33,9 @@
;; Font theme (Monospace, or DejaVu Sans Mono if Monospace is not ;; Font theme (Monospace, or DejaVu Sans Mono if Monospace is not
;; present) ;; present)
(condition-case nil (condition-case nil
(set-frame-font "Monospace-9") (set-frame-font "Hack-9")
;; (set-frame-font "Monospace-9")
;; (set-frame-font "Anonymous Pro-10")
(error (set-frame-font "DejaVu Sans Mono-10"))) (error (set-frame-font "DejaVu Sans Mono-10")))
;;---------------------------------------------------------------------------- ;;----------------------------------------------------------------------------