From c26f39b86ea0d4846aa1c88d93860d636cc0e1e0 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Tue, 9 Sep 2014 13:00:34 -0700 Subject: [PATCH] feat(emacs/lean-company): "c-u TAB" asks filter for FINDG --- src/emacs/lean-company.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/emacs/lean-company.el b/src/emacs/lean-company.el index 1d46beefc..d549f4779 100644 --- a/src/emacs/lean-company.el +++ b/src/emacs/lean-company.el @@ -49,7 +49,9 @@ triggers a completion immediately." (lean-server-send-cmd-sync (lean-cmd-wait)) (cond ((looking-at (rx symbol-start "_")) - (setq pattern (read-string "Filter for find declarations (e.g: +intro -and): " "" nil "")) + (setq pattern (if current-prefix-arg + (read-string "Filter for find declarations (e.g: +intro -and): " "" nil "") + "")) (lean-server-send-cmd-sync (lean-cmd-findg line-number column-number pattern) (lambda (candidates) (lean-server-debug "executing continuation for FINDG")