2020-08-12 18:52:14 -04:00
|
|
|
|
;;; ui/ligatures/config.el -*- lexical-binding: t; -*-
|
2018-07-05 19:37:06 -07:00
|
|
|
|
|
2020-08-20 02:40:57 -04:00
|
|
|
|
(defvar +ligatures-extra-symbols
|
2019-10-28 21:44:42 -04:00
|
|
|
|
'(;; org
|
|
|
|
|
:name "»"
|
|
|
|
|
:src_block "»"
|
|
|
|
|
:src_block_end "«"
|
2020-04-03 12:01:34 +02:00
|
|
|
|
:quote "“"
|
|
|
|
|
:quote_end "”"
|
2019-10-28 21:44:42 -04:00
|
|
|
|
;; Functional
|
|
|
|
|
:lambda "λ"
|
|
|
|
|
:def "ƒ"
|
|
|
|
|
:composition "∘"
|
|
|
|
|
:map "↦"
|
|
|
|
|
;; Types
|
|
|
|
|
:null "∅"
|
|
|
|
|
:true "𝕋"
|
|
|
|
|
:false "𝔽"
|
|
|
|
|
:int "ℤ"
|
|
|
|
|
:float "ℝ"
|
|
|
|
|
:str "𝕊"
|
|
|
|
|
:bool "𝔹"
|
2020-06-07 14:21:45 -04:00
|
|
|
|
:list "𝕃"
|
2019-10-28 21:44:42 -04:00
|
|
|
|
;; Flow
|
|
|
|
|
:not "¬"
|
|
|
|
|
:in "∈"
|
|
|
|
|
:not-in "∉"
|
|
|
|
|
:and "∧"
|
|
|
|
|
:or "∨"
|
|
|
|
|
:for "∀"
|
|
|
|
|
:some "∃"
|
|
|
|
|
:return "⟼"
|
|
|
|
|
:yield "⟻"
|
|
|
|
|
;; Other
|
2020-06-07 14:21:45 -04:00
|
|
|
|
:union "⋃"
|
|
|
|
|
:intersect "∩"
|
|
|
|
|
:diff "∖"
|
2019-10-28 21:44:42 -04:00
|
|
|
|
:tuple "⨂"
|
|
|
|
|
:pipe "" ;; FIXME: find a non-private char
|
|
|
|
|
:dot "•")
|
2020-08-20 02:40:57 -04:00
|
|
|
|
"Maps identifiers to symbols, recognized by `set-ligatures'.
|
2019-10-28 21:44:42 -04:00
|
|
|
|
|
|
|
|
|
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.")
|
|
|
|
|
|
2024-08-19 16:43:22 -04:00
|
|
|
|
(defvar +ligatures-alist
|
|
|
|
|
'((prog-mode "|||>" "<|||" "<==>" "<!--" "####" "~~>" "***" "||=" "||>"
|
|
|
|
|
":::" "::=" "=:=" "===" "==>" "=!=" "=>>" "=<<" "=/=" "!=="
|
|
|
|
|
"!!." ">=>" ">>=" ">>>" ">>-" ">->" "->>" "-->" "---" "-<<"
|
|
|
|
|
"<~~" "<~>" "<*>" "<||" "<|>" "<$>" "<==" "<=>" "<=<" "<->"
|
|
|
|
|
"<--" "<-<" "<<=" "<<-" "<<<" "<+>" "</>" "###" "#_(" "..<"
|
|
|
|
|
"..." "+++" "/==" "///" "_|_" "www" "&&" "^=" "~~" "~@" "~="
|
|
|
|
|
"~>" "~-" "**" "*>" "*/" "||" "|}" "|]" "|=" "|>" "|-" "{|"
|
|
|
|
|
"[|" "]#" "::" ":=" ":>" ":<" "$>" "==" "=>" "!=" "!!" ">:"
|
|
|
|
|
">=" ">>" ">-" "-~" "-|" "->" "--" "-<" "<~" "<*" "<|" "<:"
|
|
|
|
|
"<$" "<=" "<>" "<-" "<<" "<+" "</" "#{" "#[" "#:" "#=" "#!"
|
|
|
|
|
"##" "#(" "#?" "#_" "%%" ".=" ".-" ".." ".?" "+>" "++" "?:"
|
|
|
|
|
"?=" "?." "??" ";;" "/*" "/=" "/>" "//" "__" "~~" "(*" "*)"
|
|
|
|
|
"\\\\" "://")
|
|
|
|
|
(t))
|
|
|
|
|
"A alist of ligatures to enable in specific modes.")
|
|
|
|
|
|
|
|
|
|
(defvar +ligatures-prog-mode-list nil
|
2021-05-23 11:27:57 +02:00
|
|
|
|
"A list of ligatures to enable in all `prog-mode' buffers.")
|
2024-08-26 18:07:47 -04:00
|
|
|
|
(make-obsolete-variable '+ligatures-prog-mode-list "Use `+ligatures-alist' instead" "3.0.0")
|
2021-05-23 11:27:57 +02:00
|
|
|
|
|
2024-08-19 16:43:22 -04:00
|
|
|
|
(defvar +ligatures-all-modes-list nil
|
2021-05-23 11:27:57 +02:00
|
|
|
|
"A list of ligatures to enable in all buffers.")
|
2024-08-26 18:07:47 -04:00
|
|
|
|
(make-obsolete-variable '+ligatures-all-modes-list "Use `+ligatures-alist' instead" "3.0.0")
|
2024-08-19 16:43:22 -04:00
|
|
|
|
|
|
|
|
|
(defvar +ligatures-extra-alist '((t))
|
|
|
|
|
"A map of major modes to symbol lists (for `prettify-symbols-alist').")
|
2020-03-31 00:59:14 -04:00
|
|
|
|
|
2020-08-12 18:52:14 -04:00
|
|
|
|
(defvar +ligatures-in-modes
|
2021-09-11 14:18:57 +02:00
|
|
|
|
'(not special-mode comint-mode eshell-mode term-mode vterm-mode Info-mode
|
|
|
|
|
elfeed-search-mode elfeed-show-mode)
|
2020-08-12 18:52:14 -04:00
|
|
|
|
"List of major modes where ligatures should be enabled.
|
|
|
|
|
|
|
|
|
|
If t, enable it everywhere (except `fundamental-mode').
|
|
|
|
|
If the first element is 'not, enable it in any mode besides what is listed.
|
|
|
|
|
If nil, don't enable ligatures anywhere.")
|
|
|
|
|
|
|
|
|
|
(defvar +ligatures-extras-in-modes t
|
|
|
|
|
"List of major modes where extra ligatures should be enabled.
|
2020-04-30 19:23:49 -04:00
|
|
|
|
|
2020-08-20 02:40:57 -04:00
|
|
|
|
Extra ligatures are mode-specific substituions, defined in
|
|
|
|
|
`+ligatures-extra-symbols' and assigned with `set-ligatures!'. This variable
|
|
|
|
|
controls where these are enabled.
|
2020-03-31 00:59:14 -04:00
|
|
|
|
|
2020-08-12 18:52:14 -04:00
|
|
|
|
If t, enable it everywhere (except `fundamental-mode').
|
|
|
|
|
If the first element is 'not, enable it in any mode besides what is listed.
|
|
|
|
|
If nil, don't enable these extra ligatures anywhere (though it's more
|
|
|
|
|
efficient to remove the `+extra' flag from the :ui ligatures module instead).")
|
2020-03-31 00:59:14 -04:00
|
|
|
|
|
2020-08-12 18:52:14 -04:00
|
|
|
|
(defvar +ligatures--init-font-hook nil)
|
2020-03-31 00:59:14 -04:00
|
|
|
|
|
2020-08-12 18:52:14 -04:00
|
|
|
|
(defun +ligatures--correct-symbol-bounds (ligature-alist)
|
2019-10-28 21:44:42 -04:00
|
|
|
|
"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
|
|
|
|
|
2020-08-12 18:52:14 -04:00
|
|
|
|
(defun +ligatures--enable-p (modes)
|
|
|
|
|
"Return t if ligatures should be enabled in this buffer depending on MODES."
|
|
|
|
|
(unless (eq major-mode 'fundamental-mode)
|
|
|
|
|
(or (eq modes t)
|
|
|
|
|
(if (eq (car modes) 'not)
|
|
|
|
|
(not (apply #'derived-mode-p (cdr modes)))
|
|
|
|
|
(apply #'derived-mode-p modes)))))
|
|
|
|
|
|
|
|
|
|
(defun +ligatures-init-buffer-h ()
|
|
|
|
|
"Set up ligatures for the current buffer.
|
|
|
|
|
|
|
|
|
|
Extra ligatures are mode-specific substituions, defined in
|
2020-08-20 02:40:57 -04:00
|
|
|
|
`+ligatures-extra-symbols', assigned with `set-ligatures!', and made possible
|
2020-08-12 18:52:14 -04:00
|
|
|
|
with `prettify-symbols-mode'. This variable controls where these are enabled.
|
|
|
|
|
See `+ligatures-extras-in-modes' to control what major modes this function can
|
|
|
|
|
and cannot run in."
|
|
|
|
|
(when after-init-time
|
2021-03-06 10:04:54 -05:00
|
|
|
|
(let ((in-mode-p
|
|
|
|
|
(+ligatures--enable-p +ligatures-in-modes))
|
|
|
|
|
(in-mode-extras-p
|
2022-08-12 20:29:19 +02:00
|
|
|
|
(and (modulep! +extra)
|
2021-03-06 10:04:54 -05:00
|
|
|
|
(+ligatures--enable-p +ligatures-extras-in-modes))))
|
|
|
|
|
(when in-mode-p
|
2021-05-23 11:27:57 +02:00
|
|
|
|
;; If ligature-mode has been installed, there's no
|
|
|
|
|
;; need to do anything, we activate global-ligature-mode
|
|
|
|
|
;; later and handle all settings from `set-ligatures!' later.
|
|
|
|
|
(unless (fboundp #'ligature-mode-turn-on)
|
2021-03-06 10:04:54 -05:00
|
|
|
|
(run-hooks '+ligatures--init-font-hook)
|
|
|
|
|
(setq +ligatures--init-font-hook nil)))
|
|
|
|
|
(when in-mode-extras-p
|
|
|
|
|
(prependq! prettify-symbols-alist
|
2024-08-22 00:55:41 -04:00
|
|
|
|
(or (alist-get major-mode +ligatures-extra-alist)
|
|
|
|
|
(cl-loop for (mode . symbols) in +ligatures-extra-alist
|
|
|
|
|
if (derived-mode-p mode)
|
|
|
|
|
return symbols))))
|
2021-03-06 10:04:54 -05:00
|
|
|
|
(when (and (or in-mode-p in-mode-extras-p)
|
|
|
|
|
prettify-symbols-alist)
|
|
|
|
|
(when prettify-symbols-mode
|
|
|
|
|
(prettify-symbols-mode -1))
|
|
|
|
|
(prettify-symbols-mode +1)))))
|
2018-07-06 20:18:04 +02:00
|
|
|
|
|
2020-01-09 10:24:41 +01:00
|
|
|
|
|
2020-04-30 19:23:49 -04:00
|
|
|
|
;;
|
|
|
|
|
;;; Bootstrap
|
|
|
|
|
|
|
|
|
|
;;;###package prettify-symbols
|
|
|
|
|
;; When you get to the right edge, it goes back to how it normally prints
|
|
|
|
|
(setq prettify-symbols-unprettify-at-point 'right-edge)
|
|
|
|
|
|
2020-08-12 18:52:14 -04:00
|
|
|
|
(add-hook! 'doom-init-ui-hook :append
|
|
|
|
|
(defun +ligatures-init-h ()
|
|
|
|
|
(add-hook 'after-change-major-mode-hook #'+ligatures-init-buffer-h)))
|
|
|
|
|
|
2020-04-30 19:23:49 -04:00
|
|
|
|
(cond
|
2020-08-12 18:52:14 -04:00
|
|
|
|
;; The emacs-mac build of Emacs appears to have built-in support for ligatures,
|
2020-04-30 19:23:49 -04:00
|
|
|
|
;; using the same composition-function-table method
|
|
|
|
|
;; https://bitbucket.org/mituharu/emacs-mac/src/26c8fd9920db9d34ae8f78bceaec714230824dac/lisp/term/mac-win.el?at=master#lines-345:805
|
|
|
|
|
;; so use that instead if this module is enabled.
|
2023-12-05 17:05:13 -05:00
|
|
|
|
((if (featurep :system 'macos)
|
|
|
|
|
(fboundp 'mac-auto-operator-composition-mode))
|
2020-08-12 18:52:14 -04:00
|
|
|
|
(add-hook 'doom-init-ui-hook #'mac-auto-operator-composition-mode 'append))
|
2020-04-30 19:23:49 -04:00
|
|
|
|
|
2024-03-26 10:39:24 -04:00
|
|
|
|
;; This module does not support Emacs 27 and less, but if we still try to
|
|
|
|
|
;; enable ligatures, it will end up in catastrophic work-loss errors, so we
|
|
|
|
|
;; leave the check here for safety.
|
2022-08-12 20:07:08 +02:00
|
|
|
|
((and (> emacs-major-version 27)
|
2020-08-09 14:09:05 +02:00
|
|
|
|
(or (featurep 'ns)
|
2024-03-26 10:39:59 -04:00
|
|
|
|
(featurep 'harfbuzz))
|
|
|
|
|
(featurep 'composite)) ; Emacs loads `composite' at startup
|
2021-05-23 11:27:57 +02:00
|
|
|
|
|
2024-08-19 16:43:22 -04:00
|
|
|
|
(after! ligature
|
|
|
|
|
;; DEPRECATED: For backwards compatibility. Remove later.
|
|
|
|
|
(with-no-warnings
|
|
|
|
|
(when +ligatures-prog-mode-list
|
|
|
|
|
(setf (alist-get 'prog-mode +ligatures-alist) +ligatures-prog-mode-list))
|
|
|
|
|
(when +ligatures-all-modes-list
|
|
|
|
|
(setf (alist-get t +ligatures-alist) +ligatures-all-modes-list)))
|
|
|
|
|
(dolist (lig +ligatures-alist)
|
|
|
|
|
(ligature-set-ligatures (car lig) (cdr lig))))
|
|
|
|
|
|
|
|
|
|
(add-hook 'doom-init-ui-hook #'global-ligature-mode 'append)))
|