From 72c1fefcfb3f0dff02005034685f6b58ff84b3cc Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Tue, 27 Sep 2016 18:28:48 +0200
Subject: Fix bug #4553: CoqIDE gives warnings about deprecated GTK features.

---
 ide/coqide.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'ide/coqide.ml')

diff --git a/ide/coqide.ml b/ide/coqide.ml
index d1a799a77..450bfcdfb 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -937,7 +937,6 @@ let emit_to_focus window sgn =
 let build_ui () =
   let w = GWindow.window
     ~wm_class:"CoqIde" ~wm_name:"CoqIde"
-    ~allow_grow:true ~allow_shrink:true
     ~width:window_width#get ~height:window_height#get
     ~title:"CoqIde" ()
   in
-- 
cgit v1.2.3