From 051722c687354888aebfefb1c5759e1a7fc224ab Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 25 May 2005 14:02:20 +0000
Subject: [PATCH] fix

---
 helm/matita/matita.glade | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

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">
-- 
2.39.2