7 commits

Author	SHA1	Message	Date
Soonho Kong	91f789c3db	feat(emacs/lean-cmd): add SYNC command	2014-10-02 17:30:03 -07:00
Soonho Kong	89a929e9cd	feat(emacs/lean-syntax): add more word constituents to syntax table	2014-09-30 15:41:18 -07:00
Soonho Kong	41acc10d49	feat(emacs/lean-flycheck): detect and use flycheck error buffer width ... Detect the width of flycheck error list buffer and set pp.width when calling flycheck. It uses the same heuristic that `split-window-sensibly` function is using. A user can also set `lean-flycheck-msg-width` custom variable to enforce a certain width. Close #205.	2014-09-30 05:54:46 -07:00
Soonho Kong	7ab8b8acb7	fix(emacs/lean-company): respect lean syntax to extract findp prefix ... close #207	2014-09-29 16:00:00 -07:00
Soonho Kong	18e6481ce3	test(emacs/lean-option-test): add lean-test-update-string-alist-default	2014-09-15 13:04:53 -07:00
Soonho Kong	c3d39938ac	test(emacs): add lean-option-test	2014-09-15 09:48:33 -07:00
Soonho Kong	2ba43f1432	refactor(emacs): move tests in *.el files to 'test' directory	2014-09-11 12:29:32 -07:00