X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=0f5c8d7642764fc6bb37d3bc66c78e0d67e4b218;hb=aca103d3c3d740efcc0bcc2932922cff77facb49;hp=57ce4006ade69392ff95e4dadc0c8ab7f4fc0dbc;hpb=de4483296d06aac3df4da10d5401b1f97c4350ab;p=helm.git

diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 57ce4006a..0f5c8d764 100644
--- 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">