diff options
Diffstat (limited to 'coq/coq-abbrev.el')
| -rw-r--r-- | coq/coq-abbrev.el | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 6382455e..3c926639 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -61,15 +61,18 @@ ;; da: this test will always fail. Assume bound-->non-empty ;; (not (equal coq-mode-abbrev-table (make-abbrev-table)))) (message "Coq abbrevs already exists, default not loaded") - (define-abbrev-table 'coq-mode-abbrev-table - (append coq-tactics-abbrev-table coq-tacticals-abbrev-table - coq-commands-abbrev-table coq-terms-abbrev-table)) + (let + ;; prevent query to immediately save these abbrevs + ((save-abbrevs nil)) + (define-abbrev-table 'coq-mode-abbrev-table + (append coq-tactics-abbrev-table coq-tacticals-abbrev-table + coq-commands-abbrev-table coq-terms-abbrev-table))) ;; if we use default coq abbrev, never ask to save it ;; PC: fix trac #382 I comment this. But how to disable abbrev ;; saving for coq mode only? ;;(setq save-abbrevs nil) ; - (message "Coq default abbrevs loaded") - )) + ;; DA: how about above, just temporarily disable saving? + (message "Coq default abbrevs loaded"))) (unless noninteractive (coq-install-abbrevs)) |