From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 25 May 2005 14:02:20 +0000 (+0000)
Subject: fix
X-Git-Tag: single_binding~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=051722c687354888aebfefb1c5759e1a7fc224ab;p=helm.git

fix
---

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