From c93c937799c262e65d2c8cbaf3d9f7e60c590039 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Tue, 22 Oct 2013 09:22:12 +0000
Subject: Wg_Commands: when detached display the buffer name

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16901 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/wg_Command.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ide/wg_Command.ml b/ide/wg_Command.ml
index 2a99d9c18e..8755db3727 100644
--- a/ide/wg_Command.ml
+++ b/ide/wg_Command.ml
@@ -84,7 +84,7 @@ let detachable ?title =
 open Preferences
 
 class command_window name coqtop =
-  let frame = detachable ~title:"Query pane" () in
+  let frame = detachable ~title:(Printf.sprintf "Query pane (%s)" name) () in
   let _ = frame#hide in
   let _ = GtkData.AccelGroup.create () in
   let notebook =
-- 
cgit v1.2.3