diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-28 21:13:39 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-28 21:13:39 +0000 |
commit | cf3284b52cd66f0a9f4052a9c95174a9d48eaccc (patch) | |
tree | 6ffaf2ada8b068f93e6acd09b3aad485b04048bb | |
parent | feaf7c5c1478445ac701a5fd61d841aff0bd4464 (diff) |
Rename dec->keyword. Update doc for quail input language.
-rw-r--r-- | lib/unicode-tokens.el | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/lib/unicode-tokens.el b/lib/unicode-tokens.el index 11cd33d1..ecebc119 100644 --- a/lib/unicode-tokens.el +++ b/lib/unicode-tokens.el @@ -345,7 +345,7 @@ This is used for an approximate reverse mapping, see `unicode-tokens-paste'.") ; (face unicode-tokens-large-symbol-font-face)) ;; NB: next ones not really generic. Previously this was ;; configured per-prover, but above are generic. - (dec "Declaration face" (face proof-declaration-name-face)) + (keyword "Keyword face" (face proof-declaration-name-face)) (tactic "Tactic face" (face proof-tactics-name-face)) (tacticals "Tacticals face" (face proof-tacticals-name-face))) "Association list mapping a symbol to a name and list of text properties. @@ -651,7 +651,7 @@ Optional argument FACENIL means set the face property to nil, unless 'face is in (quail-define-package "Unicode tokens" "UTF-8" "u" t - "Unicode characters input method using application specific token names" + "Input method for tokens or unicode characters, application specific short-cuts" nil t nil nil nil nil nil ; max shortest, could try t nil nil nil t) @@ -1257,6 +1257,16 @@ Commands available are: ;; Key bindings ;; +;(defun unicode-tokens-undo (&optional arg) +; (interactive) +; (quail-delete-last-char) +; (delete-backward-char)) + +;; not quite right! +;(define-key unicode-tokens-mode-map +; [remap undo] +; 'unicode-tokens-undo) + (define-key unicode-tokens-mode-map [(control ?,)] 'unicode-tokens-rotate-token-backward) (define-key unicode-tokens-mode-map [(control ?.)] |