From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 10 Feb 2005 15:44:34 +0000 (+0000)
Subject: changed toolbar window type
X-Git-Tag: before_svn_merge~12
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1f399511607bdff67d84ce0bd688bd476c042522;p=helm.git

changed toolbar window type
---

diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 74a68bee4..809242945 100644
--- 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>