True Mathita GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False 800 600 True False True False 0 True True _File True True Exit True True _Edit True True _View True True Show Button Bar True True True Show Proof Window True False True _Help True True About... 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