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

fix(emacs/lean-input): fix input-method.js format

Browse source 
[skip ci]
This commit is contained in:
Soonho Kong 2015-03-26 14:41:26 -04:00
parent c8e1ed9551
commit 5c1d7458b5
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/emacs/lean-input.el
View file

@ -1112,13 +1112,13 @@ leanprover.github.io/js/input-method.js"
(let* ((input (substring (car it) 1))
(outputs (cdr it)))
(insert (format "{%s:\"" (prin1-to-string input)))
(insert (format "%s:\"" (prin1-to-string input)))
(cond ((vectorp outputs)
(insert (elt outputs 0)))
(t (insert-char outputs)))
(insert (format "\"},\n" input))))
(insert (format "\",\n" input))))
(insert "};")))
(defun lean-input-export-translations-to-stdout ()