diff options
Diffstat (limited to 'ide/wg_Command.ml')
-rw-r--r-- | ide/wg_Command.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/wg_Command.ml b/ide/wg_Command.ml index 2a99d9c18..8755db372 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 = |