From 5babb3a795f2b80453984324f25448a27546ef0b Mon Sep 17 00:00:00 2001
From: vgross
Date: Tue, 3 Mar 2009 16:57:25 +0000
Subject: Hack to fix compilation problems. will be removed on lablgtk upgrade.

Also, added copyright headers and stuff


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11955 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/typed_notebook.ml | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/ide/typed_notebook.ml b/ide/typed_notebook.ml
index 69a258c437..7ea8eb3e7d 100644
--- a/ide/typed_notebook.ml
+++ b/ide/typed_notebook.ml
@@ -1,3 +1,13 @@
+(************************************************************************)
+(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
+(* <O___,, * CNRS-Ecole Polytechnique-INRIA Futurs-Universite Paris Sud *)
+(*   \VV/  **************************************************************)
+(*    //   *      This file is distributed under the terms of the       *)
+(*         *       GNU Lesser General Public License Version 2.1        *)
+(************************************************************************)
+
+(* $Id: coqide.ml 11952 2009-03-02 15:29:08Z vgross $ *)
+
 class ['a] typed_notebook default_build nb =
 object(self)
   inherit GPack.notebook nb as super
@@ -5,7 +15,9 @@ object(self)
   
   method append_typed_page ?(build=default_build) (typed_page:'a) =
     let tab_label,menu_label,page = build typed_page in
-    let real_pos = super#append_page ?tab_label ?menu_label page in
+      (* XXX - Temporary hack to compile with old lablgtk *)
+    ignore (super#append_page ?tab_label ?menu_label page);
+    let real_pos = super#page_num page in
     let lower,higher = Util.list_split_at real_pos typed_page_list in
       typed_page_list <- lower@[typed_page]@higher;
       real_pos
@@ -19,7 +31,9 @@ object(self)
 
   method prepend_typed_page ?(build=default_build) (typed_page:'a) =
     let tab_label,menu_label,page = build typed_page in
-    let real_pos = super#prepend_page ?tab_label ?menu_label page in
+      (* XXX - Temporary hack to compile with old_lablgtk *)
+    ignore (super#prepend_page ?tab_label ?menu_label page);
+    let real_pos = super#page_num page in
     let lower,higher = Util.list_split_at real_pos typed_page_list in
       typed_page_list <- lower@[typed_page]@higher;
       real_pos
-- 
cgit v1.2.3