From abd469790c2e144f693e1b21c5cdc03aee178e6d Mon Sep 17 00:00:00 2001
From: Cyprien Mangin <cyprien.mangin@m4x.org>
Date: Thu, 2 Jun 2016 11:34:10 +0200
Subject: Merge the user queries tab with the shortcut tab.

---
 ide/coqide.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'ide/coqide.ml')

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 8697ca833..d4f47b15e 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1132,7 +1132,6 @@ let build_ui () =
     qitem "About" (Some "<Ctrl><Shift>A");
     qitem "Locate" (Some "<Ctrl><Shift>L");
     qitem "Print Assumptions" (Some "<Ctrl><Shift>N");
-    qitem "Show Proof" (Some "<Ctrl><Shift>R");
   ];
   user_queries_items queries_menu "Query" user_queries#get "<Ctrl><Shift>";
 
-- 
cgit v1.2.3