Merge pull request #1034 from djeis97/coq-popup-config

Coq popup config
2025-08-31 14:43:40 -05:00 · 2018-12-03 22:24:33 -05:00
parent ffdea3ff0f 84af639fc3
commit 714c30aea1
1 changed files with 1 additions and 0 deletions
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -6,6 +6,7 @@
 (setq coq-mode-abbrev-table '())

 (after! company-coq
+  (set-popup-rule! "^\\*\\(?:response\\|goals\\)\\*" :ignore t)
  (set-lookup-handlers! 'company-coq-mode
    :definition #'company-coq-jump-to-definition
    :references #'company-coq-grep-symbol