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

feat(emacs/lean-company.el): show meta and annotation for auto-complete options

Browse source 
close #435
This commit is contained in:
Soonho Kong 2015-02-13 19:39:40 -05:00
parent 382bf860fd
commit 8b8267c7ce
1 changed files with 23 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
src/emacs/lean-company.el
View file

@ -116,17 +116,39 @@
(when (looking-back (rx "set_option" (+ white) (* (or alnum digit "." "_"))))
(company-grab-symbol)))
(defun company-lean--option-make-candidate (arg)
(let* ((text (car arg))
(option (cdr arg))
(type (lean-option-record-type option))
(value (lean-option-record-value option))
(desc (lean-option-record-desc option)))
(propertize text
'type type
'value value
'desc desc)))
(defun company-lean--option-name-meta (candidate)
(get-text-property 0 'desc candidate))
(defun company-lean--option-name-annotation (candidate)
(let* ((type (get-text-property 0 'type candidate))
(value (get-text-property 0 'value candidate)))
(format " : %s = %s" type value)))
(defun company-lean--option-name-candidates (prefix)
(let ((candidates
(lean-get-options-sync-with-cont
(lambda (option-record-alist)
(-map 'car option-record-alist)))))
(-map 'company-lean--option-make-candidate option-record-alist)))))
(--filter (s-starts-with? prefix it) candidates)))
(defun company-lean--option-name (command &optional arg &rest ignored)
(case command
(prefix (company-lean--option-name-prefix))
(candidates (company-lean--option-name-candidates arg))
(meta (company-lean--option-name-meta arg))
(annotation (company-lean--option-name-annotation arg))
(no-cache t)
(sorted t)))
;; FINDG