packaging cleanup: get rid of ancient debhelpers, use dh_install

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

diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index f29d4d66a1f9d1cf4dc1908c269a2006cbe8b48f..1076b9192f57993f4d96c180457783607b6a84da 100644 (file)
--- 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>