X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=81a68b55d34272aa002075a04b09a201dfc8d791;hb=2b80cfd9b2f739a28ea9938c4b1fbb7629839d32;hp=9a2f3fd3942c83e9ee864dc0faf1736529eefd0c;hpb=750d027aedc76aac9def8885dc2bdb6ccdc049d9;p=helm.git

diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 9a2f3fd39..81a68b55d 100644
--- 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>