2021 |
:group 'font-lock ; like `show-trailing-whitespace' |
:group 'font-lock ; like `show-trailing-whitespace' |
2022 |
:group 'basic-faces) |
:group 'basic-faces) |
2023 |
|
|
2024 |
|
(defface escape-glyph '((((background dark)) :foreground "cyan") |
2025 |
|
(((type pc)) :foreground "magenta") |
2026 |
|
(t :foreground "dark blue")) |
2027 |
|
"Face for displaying \\ and ^ in multichar glyphs." |
2028 |
|
:group 'basic-faces) |
2029 |
|
|
2030 |
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
2031 |
;;; Manipulating font names. |
;;; Manipulating font names. |