X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=809242945ac0c7ff17f9b6f2063d62bcc0f85958;hb=81ad82070892b2f2740111d97b2d72394f969328;hp=74a68bee4edcfa5a1f35f7e07332143338025e8c;hpb=6187b40af194fb960d91653682a0eb2096f20f3b;p=helm.git 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, True False False - GDK_WINDOW_TYPE_HINT_TOOLBAR + GDK_WINDOW_TYPE_HINT_UTILITY GDK_GRAVITY_NORTH_WEST