From dcbcc4d1e765ea50d50fdb9d75378e4166472b71 Mon Sep 17 00:00:00 2001 From: Elijah Malaby Date: Sun, 2 Dec 2018 13:22:42 -0500 Subject: [PATCH 1/2] Added a popup rule to ignore proof general popups --- modules/lang/coq/config.el | 2 ++ 1 file changed, 2 insertions(+) diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el index eebd75636..7487ee9f2 100644 --- a/modules/lang/coq/config.el +++ b/modules/lang/coq/config.el @@ -6,6 +6,8 @@ (setq coq-mode-abbrev-table '()) (after! company-coq + (set-popup-rules! + '(("^\\*\\(response\\|goals\\)\\*" :ignore t))) (set-lookup-handlers! 'company-coq-mode :definition #'company-coq-jump-to-definition :references #'company-coq-grep-symbol From 84af639fc345d87680470d0272854f6b74bbf092 Mon Sep 17 00:00:00 2001 From: Henrik Lissner Date: Mon, 3 Dec 2018 22:23:57 -0500 Subject: [PATCH 2/2] set-popup-rules! -> set-popup-rule! Semantic refactor. Also adjusts regexp to use non-capturing group (for slight performance benefit). --- modules/lang/coq/config.el | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el index 7487ee9f2..da7283ac6 100644 --- a/modules/lang/coq/config.el +++ b/modules/lang/coq/config.el @@ -6,8 +6,7 @@ (setq coq-mode-abbrev-table '()) (after! company-coq - (set-popup-rules! - '(("^\\*\\(response\\|goals\\)\\*" :ignore t))) + (set-popup-rule! "^\\*\\(?:response\\|goals\\)\\*" :ignore t) (set-lookup-handlers! 'company-coq-mode :definition #'company-coq-jump-to-definition :references #'company-coq-grep-symbol