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
|
|
|
|
|
|
|
|
|
;; Font-specific ligature support
|
|
|
|
|
(cond ((featurep! +fira)
|
|
|
|
|
(load! "+fira"))
|
|
|
|
|
((featurep! +iosevka)
|
|
|
|
|
(load! "+iosevka"))
|
|
|
|
|
((featurep! +hasklig)
|
|
|
|
|
(load! "+hasklig"))
|
|
|
|
|
((featurep! +pragmata-pro)
|
|
|
|
|
(load! "+pragmata-pro")))
|