From 348bff7f31e97c7ee5e6f21864731808d1a6f6a0 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 26 Jul 2005 10:47:32 +0000
Subject: [PATCH] bigger disambiguate chiuches win

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

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