From cb5d6b878af33521cfde310e00d882f42a66280a Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Mon, 31 Aug 2009 13:12:43 +0000 Subject: Made customizable holes mode completion in abbreviations. --- coq/coq-db.el | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) (limited to 'coq/coq-db.el') diff --git a/coq/coq-db.el b/coq/coq-db.el index 4a62c30f..bcc4a1e4 100644 --- a/coq/coq-db.el +++ b/coq/coq-db.el @@ -189,6 +189,12 @@ structure." (setq lgth (length l))) res)) +(defcustom coq-holes-minor-mode t + "*Whether to apply holes minor mode (see `holes-show-doc') in + coq mode." + :type 'boolean + :group 'coq) + (defun coq-build-abbrev-table-from-db (db) "Take a keyword database DB and return an abbrev table. See `coq-syntax-db' for DB structure." @@ -200,8 +206,10 @@ See `coq-syntax-db' for DB structure." (e3 (car tl2)) (tl3 (cdr tl2)) ; e3 = completion ) ;; careful: nconc destructive! - (when e2 - (setq res (nconc res (list `(,e2 ,e3 holes-abbrev-complete))))) + (when e2 + (if coq-holes-minor-mode + (setq res (nconc res (list `(,e2 ,e3 holes-abbrev-complete)))) + (setq res (nconc res (list `(,e2 ,e3)))))) (setq l tl))) res)) -- cgit v1.2.3