X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=1076b9192f57993f4d96c180457783607b6a84da;hb=a7d8c13a2309ca4de1b786c8eec14ea9d1e19d3c;hp=f29d4d66a1f9d1cf4dc1908c269a2006cbe8b48f;hpb=651f406cbaee8309ea80f1205696a355ff31cd2f;p=helm.git

diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index f29d4d66a..1076b9192 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -618,7 +618,8 @@
 </widget>
 
 <widget class="GtkDialog" id="InterpChoiceDialog">
-  <property name="height_request">200</property>
+  <property name="width_request">350</property>
+  <property name="height_request">250</property>
   <property name="title" translatable="yes">Interpretation choice</property>
   <property name="type">GTK_WINDOW_TOPLEVEL</property>
   <property name="window_position">GTK_WIN_POS_NONE</property>
@@ -721,8 +722,8 @@
 	    <widget class="GtkScrolledWindow" id="scrolledwindow4">
 	      <property name="visible">True</property>
 	      <property name="can_focus">True</property>
-	      <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
-	      <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
+	      <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
+	      <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 	      <property name="shadow_type">GTK_SHADOW_IN</property>
 	      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
@@ -3183,7 +3184,7 @@
   </child>
 </widget>
 
-<widget class="GtkWindow" id="newDevelopmentWin">
+<widget class="GtkWindow" id="NewDevelWin">
   <property name="title" translatable="yes">Create development</property>
   <property name="type">GTK_WINDOW_TOPLEVEL</property>
   <property name="window_position">GTK_WIN_POS_CENTER_ALWAYS</property>
@@ -3409,7 +3410,7 @@
   </child>
 </widget>
 
-<widget class="GtkWindow" id="develListWin">
+<widget class="GtkWindow" id="DevelListWin">
   <property name="title" translatable="yes">Developments</property>
   <property name="type">GTK_WINDOW_TOPLEVEL</property>
   <property name="window_position">GTK_WIN_POS_CENTER</property>