(* Automatically generated from mathita.glade by lablgladecc *)

class mainWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
  let xmldata = Glade.create ~file  ~root:"MainWin" ?domain () in
  object (self)
    inherit Glade.xml ?autoconnect xmldata
    val toplevel =
      new GWindow.window (GtkWindow.Window.cast
        (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
    method toplevel = toplevel
    val mainWin =
      new GWindow.window (GtkWindow.Window.cast
        (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
    method mainWin = mainWin
    val mainWinShape =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"MainWinShape" ~info:"GtkVBox" xmldata))
    method mainWinShape = mainWinShape
    val mainMenuBar =
      new GMenu.menu_shell (GtkMenu.MenuBar.cast
        (Glade.get_widget_msg ~name:"MainMenuBar" ~info:"GtkMenuBar" xmldata))
    method mainMenuBar = mainMenuBar
    val fileMenu =
      new GMenu.menu_item (GtkMenu.MenuItem.cast
        (Glade.get_widget_msg ~name:"fileMenu" ~info:"GtkMenuItem" xmldata))
    method fileMenu = fileMenu
    val fileMenu_menu =
      new GMenu.menu (GtkMenu.Menu.cast
        (Glade.get_widget_msg ~name:"fileMenu_menu" ~info:"GtkMenu" xmldata))
    method fileMenu_menu = fileMenu_menu
    val exitMenuItem =
      new GMenu.menu_item (GtkMenu.MenuItem.cast
        (Glade.get_widget_msg ~name:"ExitMenuItem" ~info:"GtkMenuItem" xmldata))
    method exitMenuItem = exitMenuItem
    val editMenu =
      new GMenu.menu_item (GtkMenu.MenuItem.cast
        (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
    method editMenu = editMenu
    val viewMenu =
      new GMenu.menu_item (GtkMenu.MenuItem.cast
        (Glade.get_widget_msg ~name:"ViewMenu" ~info:"GtkMenuItem" xmldata))
    method viewMenu = viewMenu
    val viewMenu_menu =
      new GMenu.menu (GtkMenu.Menu.cast
        (Glade.get_widget_msg ~name:"ViewMenu_menu" ~info:"GtkMenu" xmldata))
    method viewMenu_menu = viewMenu_menu
    val showToolBarMenuItem =
      new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
        (Glade.get_widget_msg ~name:"ShowToolBarMenuItem" ~info:"GtkCheckMenuItem" xmldata))
    method showToolBarMenuItem = showToolBarMenuItem
    val showProofMenuItem =
      new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
        (Glade.get_widget_msg ~name:"ShowProofMenuItem" ~info:"GtkCheckMenuItem" xmldata))
    method showProofMenuItem = showProofMenuItem
    val helpMenu =
      new GMenu.menu_item (GtkMenu.MenuItem.cast
        (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
    method helpMenu = helpMenu
    val helpMenu_menu =
      new GMenu.menu (GtkMenu.Menu.cast
        (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
    method helpMenu_menu = helpMenu_menu
    val aboutMenuItem =
      new GMenu.menu_item (GtkMenu.MenuItem.cast
        (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
    method aboutMenuItem = aboutMenuItem
    val mainVPanes =
      new GPack.paned (GtkPack.Paned.cast
        (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
    method mainVPanes = mainVPanes
    val proofStatus =
      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
        (Glade.get_widget_msg ~name:"ProofStatus" ~info:"GtkScrolledWindow" xmldata))
    method proofStatus = proofStatus
    val scrolledUserInput =
      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
        (Glade.get_widget_msg ~name:"ScrolledUserInput" ~info:"GtkScrolledWindow" xmldata))
    method scrolledUserInput = scrolledUserInput
    val userInput =
      new GText.view (GtkText.View.cast
        (Glade.get_widget_msg ~name:"UserInput" ~info:"GtkTextView" xmldata))
    method userInput = userInput
    val mainStatusBar =
      new GMisc.statusbar (GtkMisc.Statusbar.cast
        (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
    method mainStatusBar = mainStatusBar
    method reparent parent =
      mainWinShape#misc#reparent parent;
      toplevel#destroy ()
    method check_widgets () = ()
  end
class proofWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
  let xmldata = Glade.create ~file  ~root:"ProofWin" ?domain () in
  object (self)
    inherit Glade.xml ?autoconnect xmldata
    val toplevel =
      new GWindow.window (GtkWindow.Window.cast
        (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
    method toplevel = toplevel
    val proofWin =
      new GWindow.window (GtkWindow.Window.cast
        (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
    method proofWin = proofWin
    val proofWinEventBox =
      new GBin.event_box (GtkBin.EventBox.cast
        (Glade.get_widget_msg ~name:"ProofWinEventBox" ~info:"GtkEventBox" xmldata))
    method proofWinEventBox = proofWinEventBox
    val scrolledProof =
      new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
        (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
    method scrolledProof = scrolledProof
    val viewport1 =
      new GBin.viewport (GtkBin.Viewport.cast
        (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata))
    method viewport1 = viewport1
    method reparent parent =
      proofWinEventBox#misc#reparent parent;
      toplevel#destroy ()
    method check_widgets () = ()
  end
class fileSelectionWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
  let xmldata = Glade.create ~file  ~root:"FileSelectionWin" ?domain () in
  object (self)
    inherit Glade.xml ?autoconnect xmldata
    val toplevel =
      new GWindow.file_selection (GtkWindow.FileSelection.cast
        (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
    method toplevel = toplevel
    val fileSelectionWin =
      new GWindow.file_selection (GtkWindow.FileSelection.cast
        (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
    method fileSelectionWin = fileSelectionWin
    val cancel_button1 =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"cancel_button1" ~info:"GtkButton" xmldata))
    method cancel_button1 = cancel_button1
    val ok_button1 =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"ok_button1" ~info:"GtkButton" xmldata))
    method ok_button1 = ok_button1
    method check_widgets () = ()
  end
class toolBarWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
  let xmldata = Glade.create ~file  ~root:"ToolBarWin" ?domain () in
  object (self)
    inherit Glade.xml ?autoconnect xmldata
    val toplevel =
      new GWindow.window (GtkWindow.Window.cast
        (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
    method toplevel = toplevel
    val toolBarWin =
      new GWindow.window (GtkWindow.Window.cast
        (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
    method toolBarWin = toolBarWin
    val toolBarEventBox =
      new GBin.event_box (GtkBin.EventBox.cast
        (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
    method toolBarEventBox = toolBarEventBox
    val vbox1 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
    method vbox1 = vbox1
    val button1 =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"button1" ~info:"GtkButton" xmldata))
    method button1 = button1
    val button2 =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"button2" ~info:"GtkButton" xmldata))
    method button2 = button2
    val button3 =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"button3" ~info:"GtkButton" xmldata))
    method button3 = button3
    val button4 =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"button4" ~info:"GtkButton" xmldata))
    method button4 = button4
    method reparent parent =
      toolBarEventBox#misc#reparent parent;
      toplevel#destroy ()
    method check_widgets () = ()
  end
class genericDialog ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
  let xmldata = Glade.create ~file  ~root:"GenericDialog" ?domain () in
  object (self)
    inherit Glade.xml ?autoconnect xmldata
    val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
      new GWindow.dialog (GtkWindow.Dialog.cast
        (Glade.get_widget_msg ~name:"GenericDialog" ~info:"GtkDialog" xmldata))
    method toplevel = toplevel
    val genericDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
      new GWindow.dialog (GtkWindow.Dialog.cast
        (Glade.get_widget_msg ~name:"GenericDialog" ~info:"GtkDialog" xmldata))
    method genericDialog = genericDialog
    val dialog_vbox1 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
    method dialog_vbox1 = dialog_vbox1
    val cancelbutton1 =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"cancelbutton1" ~info:"GtkButton" xmldata))
    method cancelbutton1 = cancelbutton1
    val okbutton1 =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"okbutton1" ~info:"GtkButton" xmldata))
    method okbutton1 = okbutton1
    method reparent parent =
      dialog_vbox1#misc#reparent parent;
      toplevel#destroy ()
    method check_widgets () = ()
  end
class aboutWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
  let xmldata = Glade.create ~file  ~root:"AboutWin" ?domain () in
  object (self)
    inherit Glade.xml ?autoconnect xmldata
    val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
      new GWindow.dialog (GtkWindow.Dialog.cast
        (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
    method toplevel = toplevel
    val aboutWin : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
      new GWindow.dialog (GtkWindow.Dialog.cast
        (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
    method aboutWin = aboutWin
    val dialog_vbox2 =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
    method dialog_vbox2 = dialog_vbox2
    val okbutton2 =
      new GButton.button (GtkButton.Button.cast
        (Glade.get_widget_msg ~name:"okbutton2" ~info:"GtkButton" xmldata))
    method okbutton2 = okbutton2
    method reparent parent =
      dialog_vbox2#misc#reparent parent;
      toplevel#destroy ()
    method check_widgets () = ()
  end

let check_all ?(show=false) () =
  ignore (GMain.Main.init ());
  let aboutWin = new aboutWin () in
  if show then aboutWin#toplevel#show ();
  aboutWin#check_widgets ();
  let genericDialog = new genericDialog () in
  if show then genericDialog#toplevel#show ();
  genericDialog#check_widgets ();
  let toolBarWin = new toolBarWin () in
  if show then toolBarWin#toplevel#show ();
  toolBarWin#check_widgets ();
  let fileSelectionWin = new fileSelectionWin () in
  if show then fileSelectionWin#toplevel#show ();
  fileSelectionWin#check_widgets ();
  let proofWin = new proofWin () in
  if show then proofWin#toplevel#show ();
  proofWin#check_widgets ();
  let mainWin = new mainWin () in
  if show then mainWin#toplevel#show ();
  mainWin#check_widgets ();
  if show then GMain.Main.main ()
;;