X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita.glade;h=81a68b55d34272aa002075a04b09a201dfc8d791;hb=190662b877ba89ccb152f0bf5c67df62be737335;hp=9a2f3fd3942c83e9ee864dc0faf1736529eefd0c;hpb=a1c4c601850c71e094a4703af00f02ca2026d8ed;p=helm.git
diff --git a/matita/matita.glade b/matita/matita.glade
index 9a2f3fd39..81a68b55d 100644
--- a/matita/matita.glade
+++ b/matita/matita.glade
@@ -4683,15 +4683,15 @@
True
Auto
GTK_WINDOW_TOPLEVEL
- GTK_WIN_POS_CENTER
+ GTK_WIN_POS_NONE
False
True
False
True
False
False
- GDK_WINDOW_TYPE_HINT_NORMAL
- GDK_GRAVITY_NORTH_WEST
+ GDK_WINDOW_TYPE_HINT_DIALOG
+ GDK_GRAVITY_SOUTH_EAST
True
False
@@ -4708,7 +4708,7 @@
2
-
+
True
True
GTK_POLICY_ALWAYS
@@ -4717,7 +4717,7 @@
GTK_CORNER_TOP_LEFT
-
+
True
GTK_SHADOW_IN