comparison lisp/faces.el @ 58851:68314bab2976

Delete code to set display table. (escape-glyph): Redefine to be less loud. (Copy minibuffer-prompt.)
author Richard M. Stallman <rms@gnu.org>
date Wed, 08 Dec 2004 21:31:32 +0000
parents 13bd65942658
children 95bb6b9a27a3 6b379caca6fa
comparison
equal deleted inserted replaced
58850:22f1825709fb 58851:68314bab2976
2019 "Basic face for highlighting trailing whitespace." 2019 "Basic face for highlighting trailing whitespace."
2020 :version "21.1" 2020 :version "21.1"
2021 :group 'font-lock ; like `show-trailing-whitespace' 2021 :group 'font-lock ; like `show-trailing-whitespace'
2022 :group 'basic-faces) 2022 :group 'basic-faces)
2023 2023
2024 2024 (defface escape-glyph '((((background dark)) :foreground "cyan")
2025 ;; Make escape characters stand out in display 2025 (((type pc)) :foreground "magenta")
2026 2026 (t :foreground "dark blue"))
2027 (defface escape-glyph 2027 "Face for displaying \\ and ^ in multichar glyphs."
2028 '((t :inherit secondary-selection))
2029 "Basic face for displaying \\ and ^ in multichar glyphs.
2030 It is also used for ... in ellipses."
2031 :group 'basic-faces) 2028 :group 'basic-faces)
2032
2033 (put 'display-table 'char-table-extra-slots 6)
2034
2035 (or standard-display-table
2036 ;; avoid using autoloaded make-display-table here
2037 (setq standard-display-table (make-char-table 'display-table nil)))
2038
2039 (let* ((face (lsh (face-id 'escape-glyph) 19))
2040 (backslash (+ face ?\\))
2041 (dot (+ face ?.)))
2042 (set-char-table-extra-slot standard-display-table 2 backslash)
2043 (aset standard-display-table 2208 (vector backslash ?\s))
2044 (aset standard-display-table 2221 (vector backslash ?-))
2045 (set-char-table-extra-slot standard-display-table 3 (+ face ?^))
2046 (set-char-table-extra-slot standard-display-table 4 (vector dot dot dot)))
2047
2048
2049
2050 2029
2051 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 2030 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
2052 ;;; Manipulating font names. 2031 ;;; Manipulating font names.
2053 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; 2032 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
2054 2033