From 1142dab2ee08b23cdf97cdf52d5dc7ecd7768967 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Wed, 12 Mar 2014 11:30:15 +0100
Subject: CoqIDE: detachable message/error/jobs panes

---
 ide/wg_Detachable.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide/wg_Detachable.mli')

diff --git a/ide/wg_Detachable.mli b/ide/wg_Detachable.mli
index 69ff1d71e..8e4df52db 100644
--- a/ide/wg_Detachable.mli
+++ b/ide/wg_Detachable.mli
@@ -24,6 +24,7 @@ class detachable : ([> Gtk.box] as 'a) Gobject.obj ->
     method visible : bool
     method title : string
     method set_title : string -> unit
+    method button : GButton.button
 
   end
 
-- 
cgit v1.2.3