michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(emacs/lean-mode): bind "C-c C-k" to quail-show-key

Browse source 
- Use this to see how to type a unicode character
This commit is contained in:
Soonho Kong 2014-11-07 17:28:21 -05:00
parent 64d2cc60c2
commit 18a41eb962
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/emacs/lean-mode.el
View file

@ -86,6 +86,7 @@
(defun lean-set-keys () (defun lean-set-keys ()
(local-set-key "\C-c\C-x" 'lean-std-exe) (local-set-key "\C-c\C-x" 'lean-std-exe)
(local-set-key "\C-c\C-l" 'lean-std-exe) (local-set-key "\C-c\C-l" 'lean-std-exe)
(local-set-key "\C-c\C-k" 'quail-show-key)
(local-set-key "\C-c\C-o" 'lean-set-option) (local-set-key "\C-c\C-o" 'lean-set-option)
(local-set-key "\C-c\C-e" 'lean-eval-cmd) (local-set-key "\C-c\C-e" 'lean-eval-cmd)
(local-set-key "\C-c\C-t" 'lean-show-type) (local-set-key "\C-c\C-t" 'lean-show-type)