ui/pretty-code: Added support for PragmataPro font

This commit is contained in:
Aidan Gilmore 2018-07-07 17:55:26 -04:00
parent ee91748613
commit b8179ca236
No known key found for this signature in database
GPG key ID: F92E3698096A0D3B
4 changed files with 223 additions and 13 deletions

View file

@ -3,7 +3,9 @@
(cond ((featurep! +fira)
(load! "+fira"))
((featurep! +iosevka)
(load! "+iosevka")))
(load! "+iosevka"))
((featurep! +pragmata-pro)
(load! "+pragmata-pro")))
(defvar +pretty-code-enabled-modes t
"List of major modes in which `prettify-symbols-mode' should be enabled.