From 1f399511607bdff67d84ce0bd688bd476c042522 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 10 Feb 2005 15:44:34 +0000
Subject: [PATCH] changed toolbar window type

---
 helm/matita/matita.glade | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>
-- 
2.39.2