Merge pull request #748 from aidangilmore/develop

ui/pretty-code: Added support for PragmataPro font
This commit is contained in:
Henrik Lissner 2018-07-09 23:52:16 +02:00 committed by GitHub
commit ae21b90278
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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.