True
Matita
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
800
600
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_NORMAL
GDK_GRAVITY_NORTH_WEST
True
True
False
True
False
0
True
0
False
False
True
True
450
True
GTK_POLICY_ALWAYS
GTK_POLICY_ALWAYS
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
True
GTK_SHADOW_IN
True
True
True
True
GTK_POS_TOP
False
False
True
False
True
True
False
True
GTK_POLICY_NEVER
GTK_POLICY_ALWAYS
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
True
0
True
True
True
True
0
False
False
Matita: current proof
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
700
525
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_NORMAL
GDK_GRAVITY_NORTH_WEST
True
True
False
True
GTK_POLICY_ALWAYS
GTK_POLICY_ALWAYS
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
10
Select File
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER
True
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
True
True
True
GTK_RELIEF_NORMAL
True
True
True
True
GTK_RELIEF_NORMAL
True
130
450
True
ToolBar
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
False
False
True
False
False
GDK_WINDOW_TYPE_HINT_NORMAL
GDK_GRAVITY_NORTH_WEST
True
True
False
True
False
0
True
GTK_BUTTONBOX_DEFAULT_STYLE
0
120
True
True
True
button1
True
GTK_RELIEF_NORMAL
True
True
True
True
button2
True
GTK_RELIEF_NORMAL
True
True
True
True
button3
True
GTK_RELIEF_NORMAL
True
True
True
True
button4
True
GTK_RELIEF_NORMAL
True
0
False
True
True
5
False
True
DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER
True
False
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
0
False
True
GTK_PACK_END
True
DUMMY
False
False
GTK_JUSTIFY_CENTER
False
False
0.5
0.5
0
0
0
False
False
Matita: about
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER
True
False
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
0
False
True
GTK_PACK_END
True
<b>Matita @VERSION@</b>
<tt>http://helm.cs.unibo.it</tt>
Copyright (C) 2004,
<i>the HELM team</i>
False
True
GTK_JUSTIFY_CENTER
False
False
0.5
0.5
5
5
0
False
False
280
Uri choice
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER
True
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
True
GTK_RELIEF_NORMAL
True
0
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-index
4
0.5
0.5
0
0
0
False
False
True
Try _Selected
True
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
True
False
True
True
Try Constants
True
GTK_RELIEF_NORMAL
True
0
True
True
True
GTK_RELIEF_NORMAL
True
0
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-ok
4
0.5
0.5
0
0
0
False
False
True
_Auto
True
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
0
False
True
GTK_PACK_END
True
False
0
True
some informative message here ...
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
True
True
GTK_POLICY_ALWAYS
GTK_POLICY_ALWAYS
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
True
True
False
False
False
True
0
True
True
True
False
0
True
URI:
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
True
True
True
True
0
True
*
False
0
True
True
0
False
True
0
True
True
Interpretation choice
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
True
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-help
True
GTK_RELIEF_NORMAL
True
-11
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
0
False
True
GTK_PACK_END
True
False
0
True
some informative message here ...
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
0
True
True
True
DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
0
False
True
GTK_PACK_END
True
DUMMY
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
0
False
False
300
200
Matita: check term
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_NORMAL
GDK_GRAVITY_NORTH_WEST
True
True
False
True
True
GTK_POLICY_ALWAYS
GTK_POLICY_ALWAYS
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT