From ae3fa5305a034015a894e3fa6f6cea27c4138b9a Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 21 Nov 2018 23:48:25 +0100
Subject: CoqIDE: Adapting to new interface of GPack.notebook.

---
 ide/wg_Notebook.mli | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/ide/wg_Notebook.mli b/ide/wg_Notebook.mli
index 85ecdf6cdd..9447b21c0b 100644
--- a/ide/wg_Notebook.mli
+++ b/ide/wg_Notebook.mli
@@ -28,11 +28,10 @@ val create :
   ('a -> GObj.widget option * GObj.widget option * GObj.widget) ->
   ('a -> unit) ->
   ?enable_popup:bool ->
-  ?homogeneous_tabs:bool ->
+  ?group_name:string ->
   ?scrollable:bool ->
   ?show_border:bool ->
   ?show_tabs:bool ->
-  ?tab_border:int ->
   ?tab_pos:Gtk.Tags.position ->
   ?border_width:int ->
   ?width:int ->
-- 
cgit v1.2.3