changed toolbar window type

diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 74a68bee4edcfa5a1f35f7e07332143338025e8c..809242945ac0c7ff17f9b6f2063d62bcc0f85958 100644 (file)
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -1577,7 +1577,7 @@ Copyright (C) 2004,
   <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_TOOLBAR</property>
+  <property name="type_hint">GDK_WINDOW_TYPE_HINT_UTILITY</property>
   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 
   <child>