From cfbb298a2ac12761d78a5588d57f93e1f76677fc Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Thu, 24 Aug 2017 10:33:20 +0200
Subject: [PATCH] fix(emacs/lean-type): lean-helm-definitions: disable
 client-side filtering & caching

---
 src/emacs/lean-type.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/emacs/lean-type.el b/src/emacs/lean-type.el
index e961545d6b..ab49116278 100644
--- a/src/emacs/lean-type.el
+++ b/src/emacs/lean-type.el
@@ -165,6 +165,8 @@
   (helm :sources (helm-build-sync-source "helm-source-lean-definitions"
                    :requires-pattern t
                    :candidates 'lean-helm-definitions-candidates
+                   :volatile t
+                   :match 'identity
                    :action '(("Go to" . (lambda (c) (with-helm-current-buffer
                                                       (apply 'lean-find-definition-cont (plist-get c :source)))))))
         :buffer "*helm Lean definitions*"))