From 66fcae7934dbd06de98e63195a2a8496c61dc7b3 Mon Sep 17 00:00:00 2001
From: notin
Date: Thu, 18 Oct 2007 13:15:57 +0000
Subject: 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
---
 ide/command_windows.ml | 3 ++-
 ide/coqide.ml          | 5 +++--
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/ide/command_windows.ml b/ide/command_windows.ml
index b696704eea..5887492ce6 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);
diff --git a/ide/coqide.ml b/ide/coqide.ml
index cf18d0ae4e..08afda00b2 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1727,9 +1727,10 @@ let create_input_tab filename =
   let v_box = GPack.hbox ~homogeneous:false () in
   let _ = GMisc.image ~packing:v_box#pack () in
   let _ = GMisc.label ~text:filename ~packing:v_box#pack () in
+  let appendp x = ignore ((notebook ())#append_page
+		~tab_label:v_box#coerce x) in  
   let fr1 = GBin.frame ~shadow_type:`ETCHED_OUT
-    ~packing:((notebook ())#append_page
-		~tab_label:v_box#coerce) () 
+    ~packing:appendp () 
   in 
   let sw1 = GBin.scrolled_window
     ~vpolicy:`AUTOMATIC 
-- 
cgit v1.2.3