auto and autogui... some work

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

diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 9a2f3fd3942c83e9ee864dc0faf1736529eefd0c..81a68b55d34272aa002075a04b09a201dfc8d791 100644 (file)
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -4683,15 +4683,15 @@
   <property name="visible">True</property>
   <property name="title" translatable="yes">Auto</property>
   <property name="type">GTK_WINDOW_TOPLEVEL</property>
-  <property name="window_position">GTK_WIN_POS_CENTER</property>
+  <property name="window_position">GTK_WIN_POS_NONE</property>
   <property name="modal">False</property>
   <property name="resizable">True</property>
   <property name="destroy_with_parent">False</property>
   <property name="decorated">True</property>
   <property name="skip_taskbar_hint">False</property>
   <property name="skip_pager_hint">False</property>
-  <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
-  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
+  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
+  <property name="gravity">GDK_GRAVITY_SOUTH_EAST</property>
   <property name="focus_on_map">True</property>
   <property name="urgency_hint">False</property>
 
@@ -4708,7 +4708,7 @@
          <property name="spacing">2</property>
 
          <child>
-           <widget class="GtkScrolledWindow" id="scrolledwindow14">
+           <widget class="GtkScrolledWindow" id="scrolledwindowAREA">
              <property name="visible">True</property>
              <property name="can_focus">True</property>
              <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
@@ -4717,7 +4717,7 @@
              <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
              <child>
-               <widget class="GtkViewport" id="viewport3">
+               <widget class="GtkViewport" id="viewportAREA">
                  <property name="visible">True</property>
                  <property name="shadow_type">GTK_SHADOW_IN</property>