From 4fdfc180bb2de6430537c7cff5d32b36c7bb8354 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Mon, 7 Apr 2014 13:58:16 +0200
Subject: Allowing proof view to be detached in CoqIDE.

---
 ide/wg_Detachable.mli | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'ide/wg_Detachable.mli')

diff --git a/ide/wg_Detachable.mli b/ide/wg_Detachable.mli
index 8e4df52db..23fedac9c 100644
--- a/ide/wg_Detachable.mli
+++ b/ide/wg_Detachable.mli
@@ -25,7 +25,9 @@ class detachable : ([> Gtk.box] as 'a) Gobject.obj ->
     method title : string
     method set_title : string -> unit
     method button : GButton.button
-
+    method frame : GBin.frame
+    method detach : unit -> unit
+    method attach : unit -> unit
   end
 
 val detachable :
-- 
cgit v1.2.3