From da71563ea83b10e85b062ef05291b61d0a58e6de Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 22 Nov 2018 08:27:57 +0100
Subject: [PATCH] [GUI] fixes GObject.create crash. GUI's window now appears on
screen
---
src/plugins/gui/design.ml | 11 ++++++++---
1 file changed, 8 insertions(+), 3 deletions(-)
diff --git a/src/plugins/gui/design.ml b/src/plugins/gui/design.ml
index bd8db74a74f..d6cd25ea9dc 100644
--- a/src/plugins/gui/design.ml
+++ b/src/plugins/gui/design.ml
@@ -847,8 +847,10 @@ class main_window () : main_window_extension_points =
~width
~height
~position:`CENTER
- ~allow_shrink:true
- ~allow_grow:true
+(*GTK3: arguments do not exist anymore at GTK level. *)
+(* ~allow_shrink:true
+ ~allow_grow:true
+*)
~show:false
()
in
@@ -867,7 +869,10 @@ class main_window () : main_window_extension_points =
(* status bar (at bottom) *)
(* toplevel_vbox->bottom_hbox-> *statusbar *)
let statusbar =
- GMisc.statusbar ~has_resize_grip:false ~packing:bottom_hbox#add ()
+ GMisc.statusbar
+ (* GTK3: argument does not exist *)
+ (* ~has_resize_grip:false *)
+ ~packing:bottom_hbox#add ()
in
let status_context = statusbar#new_context "messages" in
--
GitLab