From 6eba9ffea648aace40261aa6abb5f138cad27d2d Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 26 Jul 2018 17:56:27 +0200
Subject: Fix Search query in CoqIDE.

For some reason the code was just doing random stuff that did not make
sense.
---
 ide/coqide.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ide/coqide.ml b/ide/coqide.ml
index aa816f2b8b..f5ff08998b 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1106,15 +1106,15 @@ let build_ui () =
   ];
   alpha_items templates_menu "Template" Coq_commands.commands;
 
-  let qitem s sc ?(dots = true) =
-    let query = if dots then s ^ "..." else s in
+  let qitem s sc =
+    let query = s ^ "..." in
     item s ~label:("_"^s)
       ~accel:(modifier_for_queries#get^sc)
       ~callback:(Query.query query)
   in
   menu queries_menu [
     item "Queries" ~label:"_Queries";
-    qitem "Search" "K" ~dots:false;
+    qitem "Search" "K";
     qitem "Check" "C";
     qitem "Print" "P";
     qitem "About" "A";
-- 
cgit v1.2.3