2018-07-05 19:37:06 -07:00
|
|
|
|
;;; ui/pretty-code/config.el -*- lexical-binding: t; -*-
|
|
|
|
|
|
2019-10-28 21:44:42 -04:00
|
|
|
|
(defvar +pretty-code-symbols
|
|
|
|
|
'(;; org
|
|
|
|
|
:name "»"
|
|
|
|
|
:src_block "»"
|
|
|
|
|
:src_block_end "«"
|
|
|
|
|
;; Functional
|
|
|
|
|
:lambda "λ"
|
|
|
|
|
:def "ƒ"
|
|
|
|
|
:composition "∘"
|
|
|
|
|
:map "↦"
|
|
|
|
|
;; Types
|
|
|
|
|
:null "∅"
|
|
|
|
|
:true "𝕋"
|
|
|
|
|
:false "𝔽"
|
|
|
|
|
:int "ℤ"
|
|
|
|
|
:float "ℝ"
|
|
|
|
|
:str "𝕊"
|
|
|
|
|
:bool "𝔹"
|
|
|
|
|
;; Flow
|
|
|
|
|
:not "¬"
|
|
|
|
|
:in "∈"
|
|
|
|
|
:not-in "∉"
|
|
|
|
|
:and "∧"
|
|
|
|
|
:or "∨"
|
|
|
|
|
:for "∀"
|
|
|
|
|
:some "∃"
|
|
|
|
|
:return "⟼"
|
|
|
|
|
:yield "⟻"
|
|
|
|
|
;; Other
|
|
|
|
|
:tuple "⨂"
|
|
|
|
|
:pipe "" ;; FIXME: find a non-private char
|
|
|
|
|
:dot "•")
|
|
|
|
|
"Options plist for `set-pretty-symbols!'.
|
|
|
|
|
|
|
|
|
|
This should not contain any symbols from the Unicode Private Area! There is no
|
|
|
|
|
universal way of getting the correct symbol as that area varies from font to
|
|
|
|
|
font.")
|
|
|
|
|
|
|
|
|
|
(defun +pretty-code--correct-symbol-bounds (ligature-alist)
|
|
|
|
|
"Prepend non-breaking spaces to a ligature.
|
|
|
|
|
|
|
|
|
|
This way `compose-region' (called by `prettify-symbols-mode') will use the
|
|
|
|
|
correct width of the symbols instead of the width measured by `char-width'."
|
|
|
|
|
(let ((len (length (car ligature-alist)))
|
|
|
|
|
(acc (list (cdr ligature-alist))))
|
|
|
|
|
(while (> len 1)
|
|
|
|
|
(setq acc (cons #X00a0 (cons '(Br . Bl) acc))
|
|
|
|
|
len (1- len)))
|
|
|
|
|
(cons (car ligature-alist) acc)))
|
2018-07-05 19:37:06 -07:00
|
|
|
|
|
2018-07-06 20:18:04 +02:00
|
|
|
|
(defvar +pretty-code-enabled-modes t
|
|
|
|
|
"List of major modes in which `prettify-symbols-mode' should be enabled.
|
|
|
|
|
If t, enable it everywhere. If the first element is 'not, enable it in any mode
|
|
|
|
|
besides what is listed.")
|
|
|
|
|
|
2018-07-05 19:37:06 -07:00
|
|
|
|
;; When you get to the right edge, it goes back to how it normally prints
|
|
|
|
|
(setq prettify-symbols-unprettify-at-point 'right-edge)
|
|
|
|
|
|
2019-09-13 21:59:03 -04:00
|
|
|
|
(defun +pretty-code-init-pretty-symbols-h ()
|
2018-07-08 13:43:18 +02:00
|
|
|
|
"Enable `prettify-symbols-mode'.
|
2018-07-06 20:18:04 +02:00
|
|
|
|
|
2018-07-08 13:43:18 +02:00
|
|
|
|
If in fundamental-mode, or a mode derived from special, comint, eshell or term
|
|
|
|
|
modes, this function does nothing.
|
|
|
|
|
|
|
|
|
|
Otherwise it builds `prettify-code-symbols-alist' according to
|
|
|
|
|
`+pretty-code-symbols-alist' for the current major-mode."
|
|
|
|
|
(unless (or (eq major-mode 'fundamental-mode)
|
2018-07-12 16:43:37 +02:00
|
|
|
|
(eq (get major-mode 'mode-class) 'special)
|
|
|
|
|
(derived-mode-p 'comint-mode 'eshell-mode 'term-mode))
|
2018-07-06 20:42:51 +02:00
|
|
|
|
(when (or (eq +pretty-code-enabled-modes t)
|
|
|
|
|
(if (eq (car +pretty-code-enabled-modes) 'not)
|
2018-07-06 20:18:04 +02:00
|
|
|
|
(not (memq major-mode (cdr +pretty-code-enabled-modes)))
|
|
|
|
|
(memq major-mode +pretty-code-enabled-modes)))
|
|
|
|
|
(setq prettify-symbols-alist
|
2018-07-06 20:42:51 +02:00
|
|
|
|
(append (cdr (assq major-mode +pretty-code-symbols-alist))
|
2018-07-06 20:18:04 +02:00
|
|
|
|
(default-value 'prettify-symbols-alist)))
|
|
|
|
|
(when prettify-symbols-mode
|
|
|
|
|
(prettify-symbols-mode -1))
|
|
|
|
|
(prettify-symbols-mode +1))))
|
|
|
|
|
|
2019-09-13 21:59:03 -04:00
|
|
|
|
(add-hook 'after-change-major-mode-hook #'+pretty-code-init-pretty-symbols-h)
|
2019-10-28 21:44:42 -04:00
|
|
|
|
|
2020-01-02 21:13:50 -05:00
|
|
|
|
;; The emacs-mac build of Emacs appear to have built-in support for ligatures,
|
|
|
|
|
;; so use that instead if this module is enabled.
|
|
|
|
|
(cond ((and IS-MAC (fboundp 'mac-auto-operator-composition-mode))
|
2019-12-26 15:51:18 -05:00
|
|
|
|
(mac-auto-operator-composition-mode))
|
2020-01-02 21:13:50 -05:00
|
|
|
|
;; Font-specific ligature support
|
2019-12-26 15:51:18 -05:00
|
|
|
|
((featurep! +fira)
|
2019-10-28 21:44:42 -04:00
|
|
|
|
(load! "+fira"))
|
|
|
|
|
((featurep! +iosevka)
|
|
|
|
|
(load! "+iosevka"))
|
|
|
|
|
((featurep! +hasklig)
|
|
|
|
|
(load! "+hasklig"))
|
|
|
|
|
((featurep! +pragmata-pro)
|
|
|
|
|
(load! "+pragmata-pro")))
|
2020-02-25 21:39:37 +00:00
|
|
|
|
|
|
|
|
|
(defun +pretty-code--install-font (prefix name url-format fonts-alist)
|
|
|
|
|
"Install fonts to the local system.
|
|
|
|
|
|
|
|
|
|
If PREFIX is nil, will prompt whether or not to download. NAME is informational only.
|
|
|
|
|
URL-FORMAT is a format string that should be a url and have a single %s, which is expanded
|
|
|
|
|
for each font in FONTS-ALIST. FONTS-ALIST should be the filename of each font. It is used
|
|
|
|
|
as the source and destination filename.
|
|
|
|
|
"
|
|
|
|
|
(when (or prefix (yes-or-no-p
|
|
|
|
|
(format "This will download and install the %s fonts, are you sure you want to do this?" name)))
|
|
|
|
|
(let* ((font-dest (cl-case window-system
|
|
|
|
|
;; Linux
|
|
|
|
|
(x (concat (or (getenv "XDG_DATA_HOME")
|
|
|
|
|
(concat (getenv "HOME") "/.local/share"))
|
|
|
|
|
"/fonts/"))
|
|
|
|
|
;; MacOS
|
|
|
|
|
(mac (concat (getenv "HOME") "/Library/Fonts/" ))
|
|
|
|
|
(ns (concat (getenv "HOME") "/Library/Fonts/" ))))
|
|
|
|
|
(known-dest? (stringp font-dest))
|
|
|
|
|
(font-dest (or font-dest (read-directory-name "Font installation directory: " "~/"))))
|
|
|
|
|
|
|
|
|
|
(unless (file-directory-p font-dest) (mkdir font-dest t))
|
|
|
|
|
|
|
|
|
|
(dolist (font fonts-alist)
|
|
|
|
|
(url-copy-file (format url-format font) (expand-file-name font font-dest) t))
|
|
|
|
|
|
|
|
|
|
(when known-dest?
|
|
|
|
|
(message "Font downloaded, updating font cache... <fc-cache -f -v> ")
|
|
|
|
|
(shell-command-to-string (format "fc-cache -f -v")))
|
|
|
|
|
(message "Successfully %s `%s' fonts to `%s'!"
|
|
|
|
|
(if known-dest? "installed" "downloaded")
|
|
|
|
|
name
|
|
|
|
|
font-dest)))
|
|
|
|
|
)
|