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

fix(emacs/lean-mode): Bind TAB with lean-tab-indent-or-compliete

Browse source
This commit is contained in:
Soonho Kong 2014-09-02 17:02:35 -04:00
parent bbdb13172e
commit b05aeb112b
1 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -82,7 +82,7 @@
(local-set-key "\C-c\C-t" 'lean-eldoc-documentation-function)
(local-set-key "\C-c\C-f" 'lean-fill-placeholder)
(local-set-key "\M-." 'lean-find-tag)
(local-set-key [tab] 'lean-tab-indent-or-complete))
(local-set-key (kbd "TAB") 'lean-tab-indent-or-complete))
(define-abbrev-table 'lean-abbrev-table
'(("var" "variable")