True
Mathita
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
800
600
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
False
True
GTK_POLICY_NEVER
GTK_POLICY_ALWAYS
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
True
False
GTK_JUSTIFY_LEFT
GTK_WRAP_WORD
True
0
0
0
0
0
0
True
True
0
True
True
True
True
0
False
False
Mathita: current proof
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
700
525
True
False
True
True
GTK_POLICY_ALWAYS
GTK_POLICY_ALWAYS
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
True
GTK_SHADOW_IN
10
Select File
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
True
True
False
True
True
True
True
GTK_RELIEF_NORMAL
True
True
True
GTK_RELIEF_NORMAL
130
450
True
ToolBar
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
False
False
True
True
False
0
True
GTK_BUTTONBOX_DEFAULT_STYLE
0
120
True
True
True
button1
True
GTK_RELIEF_NORMAL
True
True
True
button2
True
GTK_RELIEF_NORMAL
True
True
True
button3
True
GTK_RELIEF_NORMAL
True
True
True
button4
True
GTK_RELIEF_NORMAL
0
False
True
True
5
False
True
DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
True
False
False
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
-6
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
-5
0
False
True
GTK_PACK_END
Mathita: about
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
True
False
False
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
-5
0
False
True
GTK_PACK_END