From 03974966c57cbaacd9b31d5e23d085ecee4d2534 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 6 Feb 2019 15:30:18 +0100
Subject: [PATCH] [gui] Makes the main window shrinkable in gtk3.
---
src/plugins/gui/design.ml | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/plugins/gui/design.ml b/src/plugins/gui/design.ml
index 15218da0fc5..e02fd1985da 100644
--- a/src/plugins/gui/design.ml
+++ b/src/plugins/gui/design.ml
@@ -844,8 +844,6 @@ class main_window () : main_window_extension_points =
Gtk_compat.window
?icon:framac_icon
~title:"Frama-C"
- ~width
- ~height
~position:`CENTER
~resizable:true
~show:false
--
GitLab