From 8f71f4c82d5f0492f71dd025eebad12265c12dce Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 14 Oct 2016 13:52:08 -0400
Subject: [PATCH] fix(emacs): void-function in lean-debug-mode

---
 src/emacs/lean-debug.el | 11 +----------
 src/shell/server.cpp    |  4 ++--
 2 files changed, 3 insertions(+), 12 deletions(-)

diff --git a/src/emacs/lean-debug.el b/src/emacs/lean-debug.el
index 753c24065e..f5f455e9a4 100644
--- a/src/emacs/lean-debug.el
+++ b/src/emacs/lean-debug.el
@@ -48,16 +48,7 @@
 
 (defun lean-debug-mode-line-status-text ()
   "Get a text describing STATUS for use in the mode line."
-  (let ((text
-               ;; No Process : "X"
-         (cond ((not (lean-server-process-exist-p))
-                "X")
-               ;; Number of Async Queue: *-n
-               ((> (lean-server-async-task-queue-len) 0)
-                (format "*-%d" (lean-server-async-task-queue-len)))
-               ;; Async Queue = 0
-               (t ""))))
-    (concat " LeanDebug" text)))
+  "LeanDebug")
 
 (define-minor-mode lean-debug-mode
   "Minor mode for lean debugging."
diff --git a/src/shell/server.cpp b/src/shell/server.cpp
index 10bd2b18e1..9c4afcb67f 100644
--- a/src/shell/server.cpp
+++ b/src/shell/server.cpp
@@ -277,8 +277,8 @@ json server::handle_complete(json const & req) {
         std::vector<pair<std::string, name>> selected;
         bitap_fuzzy_search matcher(pattern, max_errors);
         env.for_each_declaration([&](declaration const & d) {
-            /*if (is_projection(env, d.get_name()))
-                return;*/
+            if (is_projection(env, d.get_name()))
+                return;
             if (auto it = exact_prefix_match(env, pattern, d)) {
                 exact_matches.emplace_back(*it, d.get_name());
             } else {