Report de la révision #10197 (adaptation à Lablgtk 2.10.0)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10236 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 1 deletions

diff --git a/ide/command_windows.ml b/ide/command_windows.ml
index b696704ee..5887492ce 100644
--- a/ide/command_windows.ml
+++ b/ide/command_windows.ml
@@ -69,9 +69,10 @@ object(self)
   val notebook = notebook
   method window = window
   method new_command ?command ?term () =
+    let appendp x = ignore (notebook#append_page x) in
     let frame = GBin.frame 
 		  ~shadow_type:`ETCHED_OUT
-		  ~packing:notebook#append_page
+		  ~packing:appendp
 		  ()
     in
     notebook#goto_page (notebook#page_num frame#coerce);