fix

diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 57ce4006ade69392ff95e4dadc0c8ab7f4fc0dbc..0f5c8d7642764fc6bb37d3bc66c78e0d67e4b218 100644 (file)
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -979,8 +979,6 @@ Copyright (C) 2005,
   <property name="type">GTK_WINDOW_TOPLEVEL</property>
   <property name="window_position">GTK_WIN_POS_NONE</property>
   <property name="modal">False</property>
-  <property name="default_width">800</property>
-  <property name="default_height">600</property>
   <property name="resizable">True</property>
   <property name="destroy_with_parent">False</property>
   <property name="decorated">True</property>
@@ -2165,11 +2163,11 @@ Copyright (C) 2005,
 
                  <child>
                    <widget class="GtkVPaned" id="vpaned1">
-                     <property name="width_request">450</property>
+                     <property name="width_request">250</property>
                      <property name="height_request">500</property>
                      <property name="visible">True</property>
                      <property name="can_focus">True</property>
-                     <property name="position">450</property>
+                     <property name="position">380</property>
 
                      <child>
                        <widget class="GtkNotebook" id="sequentsNotebook">