snapshot (notably: ported to mysql instead of dbi)

[helm.git] / helm / matita / matita.glade

diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index e7dc8ded4036b80d16c1137c4f826c1b410bc39a..7c272a828deac347d774ce49b915faa8d33af56d 100644 (file)
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -1281,7 +1281,7 @@ Copyright (C) 2004,
   <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">300</property>
+  <property name="default_width">450</property>
   <property name="default_height">800</property>
   <property name="resizable">True</property>
   <property name="destroy_with_parent">False</property>