From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 26 Jul 2005 10:47:32 +0000 (+0000)
Subject: bigger disambiguate chiuches win
X-Git-Tag: V_0_7_2~71
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=348bff7f31e97c7ee5e6f21864731808d1a6f6a0;p=helm.git

bigger disambiguate chiuches win
---

diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index f29d4d66a..b246c91aa 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>