diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-02-23 13:33:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-02-23 13:33:35 +0000 |
| commit | dad898ccc9e2f2ccd76fe509dedd185de73274bb (patch) | |
| tree | 49f22f5d20b97076748d946d3168f3a8f52c423d /lib | |
| parent | 5ecf0bd85b93233f502f9da0a2f5ad6b2617e8f2 (diff) | |
Support delete selection mode on remapped delete commands
Update some of font alias choices.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/unicode-tokens.el | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/lib/unicode-tokens.el b/lib/unicode-tokens.el index 75082806..8b6e065b 100644 --- a/lib/unicode-tokens.el +++ b/lib/unicode-tokens.el @@ -255,17 +255,17 @@ This is used for an approximate reverse mapping, see `unicode-tokens-paste'.") ;; ;; This is a fallback for when fontconfig is not used/available. ;; -;; NB: even with fontconfig, aliasing has undesirable effects +;; NB: even with fontconfig, name aliasing has undesirable effects ;; (e.g., can end up with version of font without anti-aliasing) ;; (defconst unicode-tokens-font-family-alternatives '(("STIXGeneral" "Lucida Grande" "Lucida Sans Unicode" - "DejaVu Sans Mono" "DejaVuLGC Sans Mono") + "DejaVu Sans Mono" "DejaVuLGC Sans Mono" "Apple Symbols") ("Script" "Lucida Calligraphy" "URW Chancery L" "Zapf Chancery") ("Fraktur" - "Lucida Blackletter" "URW Bookman L Light"))) + "Lucida Blackletter" "Isabella" "URW Bookman L"))) (if (boundp 'face-font-family-alternatives) (custom-set-default @@ -343,7 +343,7 @@ This is used for an approximate reverse mapping, see `unicode-tokens-paste'.") (preprocessor "Preprocessor face" (face font-lock-preprocessor-face)) (doc "Documentation face" (face font-lock-preprocessor-face)) (builtin "Builtin face" (face font-lock-builtin-face)) - (tacticals "Tacticals face" (face proof-tacticals-name-face))) + (tacticals "Tacticals face" (face proof-tacticals-name-face))) "Association list mapping a symbol to a name and list of text properties. Used in `unicode-tokens-token-symbol-map', `unicode-tokens-control-regions', and `unicode-tokens-control-characters'. @@ -1323,6 +1323,10 @@ Commands available are: [remap delete-char] 'unicode-tokens-delete-char) +;; support delete selection mode +(put 'unicode-tokens-delete-backward-char 'delete-selection 'supersede) +(put 'unicode-tokens-delete-char 'delete-selection 'supersede) + (defvar unicode-tokens-quail-translation-keymap (let ((quail-current-package (assoc "Unicode tokens" |