diff --git a/src/plugins/gui/design.ml b/src/plugins/gui/design.ml
index 15218da0fc5e00aaed368f744f3e94ed715e307c..e02fd1985da37810321e8ffc451e837244f40c7d 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