helm/mathita/mathitaGui.ml

   1 (* Automatically generated from mathita.glade by lablgladecc *)
   2
   3 class mainWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
   4   let xmldata = Glade.create ~file  ~root:"MainWin" ?domain () in
   5   object (self)
   6     inherit Glade.xml ?autoconnect xmldata
   7     val toplevel =
   8       new GWindow.window (GtkWindow.Window.cast
   9         (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
  10     method toplevel = toplevel
  11     val mainWin =
  12       new GWindow.window (GtkWindow.Window.cast
  13         (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
  14     method mainWin = mainWin
  15     val mainWinShape =
  16       new GPack.box (GtkPack.Box.cast
  17         (Glade.get_widget_msg ~name:"MainWinShape" ~info:"GtkVBox" xmldata))
  18     method mainWinShape = mainWinShape
  19     val mainMenuBar =
  20       new GMenu.menu_shell (GtkMenu.MenuBar.cast
  21         (Glade.get_widget_msg ~name:"MainMenuBar" ~info:"GtkMenuBar" xmldata))
  22     method mainMenuBar = mainMenuBar
  23     val fileMenu =
  24       new GMenu.menu_item (GtkMenu.MenuItem.cast
  25         (Glade.get_widget_msg ~name:"fileMenu" ~info:"GtkMenuItem" xmldata))
  26     method fileMenu = fileMenu
  27     val fileMenu_menu =
  28       new GMenu.menu (GtkMenu.Menu.cast
  29         (Glade.get_widget_msg ~name:"fileMenu_menu" ~info:"GtkMenu" xmldata))
  30     method fileMenu_menu = fileMenu_menu
  31     val exitMenuItem =
  32       new GMenu.menu_item (GtkMenu.MenuItem.cast
  33         (Glade.get_widget_msg ~name:"ExitMenuItem" ~info:"GtkMenuItem" xmldata))
  34     method exitMenuItem = exitMenuItem
  35     val editMenu =
  36       new GMenu.menu_item (GtkMenu.MenuItem.cast
  37         (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
  38     method editMenu = editMenu
  39     val viewMenu =
  40       new GMenu.menu_item (GtkMenu.MenuItem.cast
  41         (Glade.get_widget_msg ~name:"ViewMenu" ~info:"GtkMenuItem" xmldata))
  42     method viewMenu = viewMenu
  43     val viewMenu_menu =
  44       new GMenu.menu (GtkMenu.Menu.cast
  45         (Glade.get_widget_msg ~name:"ViewMenu_menu" ~info:"GtkMenu" xmldata))
  46     method viewMenu_menu = viewMenu_menu
  47     val showToolBarMenuItem =
  48       new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
  49         (Glade.get_widget_msg ~name:"ShowToolBarMenuItem" ~info:"GtkCheckMenuItem" xmldata))
  50     method showToolBarMenuItem = showToolBarMenuItem
  51     val showProofMenuItem =
  52       new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
  53         (Glade.get_widget_msg ~name:"ShowProofMenuItem" ~info:"GtkCheckMenuItem" xmldata))
  54     method showProofMenuItem = showProofMenuItem
  55     val helpMenu =
  56       new GMenu.menu_item (GtkMenu.MenuItem.cast
  57         (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
  58     method helpMenu = helpMenu
  59     val helpMenu_menu =
  60       new GMenu.menu (GtkMenu.Menu.cast
  61         (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
  62     method helpMenu_menu = helpMenu_menu
  63     val aboutMenuItem =
  64       new GMenu.menu_item (GtkMenu.MenuItem.cast
  65         (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
  66     method aboutMenuItem = aboutMenuItem
  67     val mainVPanes =
  68       new GPack.paned (GtkPack.Paned.cast
  69         (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
  70     method mainVPanes = mainVPanes
  71     val proofStatus =
  72       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
  73         (Glade.get_widget_msg ~name:"ProofStatus" ~info:"GtkScrolledWindow" xmldata))
  74     method proofStatus = proofStatus
  75     val scrolledUserInput =
  76       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
  77         (Glade.get_widget_msg ~name:"ScrolledUserInput" ~info:"GtkScrolledWindow" xmldata))
  78     method scrolledUserInput = scrolledUserInput
  79     val userInput =
  80       new GText.view (GtkText.View.cast
  81         (Glade.get_widget_msg ~name:"UserInput" ~info:"GtkTextView" xmldata))
  82     method userInput = userInput
  83     val mainStatusBar =
  84       new GMisc.statusbar (GtkMisc.Statusbar.cast
  85         (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
  86     method mainStatusBar = mainStatusBar
  87     method reparent parent =
  88       mainWinShape#misc#reparent parent;
  89       toplevel#destroy ()
  90     method check_widgets () = ()
  91   end
  92 class proofWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
  93   let xmldata = Glade.create ~file  ~root:"ProofWin" ?domain () in
  94   object (self)
  95     inherit Glade.xml ?autoconnect xmldata
  96     val toplevel =
  97       new GWindow.window (GtkWindow.Window.cast
  98         (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
  99     method toplevel = toplevel
 100     val proofWin =
 101       new GWindow.window (GtkWindow.Window.cast
 102         (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
 103     method proofWin = proofWin
 104     val proofWinEventBox =
 105       new GBin.event_box (GtkBin.EventBox.cast
 106         (Glade.get_widget_msg ~name:"ProofWinEventBox" ~info:"GtkEventBox" xmldata))
 107     method proofWinEventBox = proofWinEventBox
 108     val scrolledProof =
 109       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 110         (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
 111     method scrolledProof = scrolledProof
 112     val viewport1 =
 113       new GBin.viewport (GtkBin.Viewport.cast
 114         (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata))
 115     method viewport1 = viewport1
 116     method reparent parent =
 117       proofWinEventBox#misc#reparent parent;
 118       toplevel#destroy ()
 119     method check_widgets () = ()
 120   end
 121 class fileSelectionWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
 122   let xmldata = Glade.create ~file  ~root:"FileSelectionWin" ?domain () in
 123   object (self)
 124     inherit Glade.xml ?autoconnect xmldata
 125     val toplevel =
 126       new GWindow.file_selection (GtkWindow.FileSelection.cast
 127         (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
 128     method toplevel = toplevel
 129     val fileSelectionWin =
 130       new GWindow.file_selection (GtkWindow.FileSelection.cast
 131         (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
 132     method fileSelectionWin = fileSelectionWin
 133     val cancel_button1 =
 134       new GButton.button (GtkButton.Button.cast
 135         (Glade.get_widget_msg ~name:"cancel_button1" ~info:"GtkButton" xmldata))
 136     method cancel_button1 = cancel_button1
 137     val ok_button1 =
 138       new GButton.button (GtkButton.Button.cast
 139         (Glade.get_widget_msg ~name:"ok_button1" ~info:"GtkButton" xmldata))
 140     method ok_button1 = ok_button1
 141     method check_widgets () = ()
 142   end
 143 class toolBarWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
 144   let xmldata = Glade.create ~file  ~root:"ToolBarWin" ?domain () in
 145   object (self)
 146     inherit Glade.xml ?autoconnect xmldata
 147     val toplevel =
 148       new GWindow.window (GtkWindow.Window.cast
 149         (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
 150     method toplevel = toplevel
 151     val toolBarWin =
 152       new GWindow.window (GtkWindow.Window.cast
 153         (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
 154     method toolBarWin = toolBarWin
 155     val toolBarEventBox =
 156       new GBin.event_box (GtkBin.EventBox.cast
 157         (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
 158     method toolBarEventBox = toolBarEventBox
 159     val vbox1 =
 160       new GPack.box (GtkPack.Box.cast
 161         (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
 162     method vbox1 = vbox1
 163     val button1 =
 164       new GButton.button (GtkButton.Button.cast
 165         (Glade.get_widget_msg ~name:"button1" ~info:"GtkButton" xmldata))
 166     method button1 = button1
 167     val button2 =
 168       new GButton.button (GtkButton.Button.cast
 169         (Glade.get_widget_msg ~name:"button2" ~info:"GtkButton" xmldata))
 170     method button2 = button2
 171     val button3 =
 172       new GButton.button (GtkButton.Button.cast
 173         (Glade.get_widget_msg ~name:"button3" ~info:"GtkButton" xmldata))
 174     method button3 = button3
 175     val button4 =
 176       new GButton.button (GtkButton.Button.cast
 177         (Glade.get_widget_msg ~name:"button4" ~info:"GtkButton" xmldata))
 178     method button4 = button4
 179     method reparent parent =
 180       toolBarEventBox#misc#reparent parent;
 181       toplevel#destroy ()
 182     method check_widgets () = ()
 183   end
 184 class genericDialog ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
 185   let xmldata = Glade.create ~file  ~root:"GenericDialog" ?domain () in
 186   object (self)
 187     inherit Glade.xml ?autoconnect xmldata
 188     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 189       new GWindow.dialog (GtkWindow.Dialog.cast
 190         (Glade.get_widget_msg ~name:"GenericDialog" ~info:"GtkDialog" xmldata))
 191     method toplevel = toplevel
 192     val genericDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 193       new GWindow.dialog (GtkWindow.Dialog.cast
 194         (Glade.get_widget_msg ~name:"GenericDialog" ~info:"GtkDialog" xmldata))
 195     method genericDialog = genericDialog
 196     val dialog_vbox1 =
 197       new GPack.box (GtkPack.Box.cast
 198         (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
 199     method dialog_vbox1 = dialog_vbox1
 200     val cancelbutton1 =
 201       new GButton.button (GtkButton.Button.cast
 202         (Glade.get_widget_msg ~name:"cancelbutton1" ~info:"GtkButton" xmldata))
 203     method cancelbutton1 = cancelbutton1
 204     val okbutton1 =
 205       new GButton.button (GtkButton.Button.cast
 206         (Glade.get_widget_msg ~name:"okbutton1" ~info:"GtkButton" xmldata))
 207     method okbutton1 = okbutton1
 208     method reparent parent =
 209       dialog_vbox1#misc#reparent parent;
 210       toplevel#destroy ()
 211     method check_widgets () = ()
 212   end
 213 class aboutWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
 214   let xmldata = Glade.create ~file  ~root:"AboutWin" ?domain () in
 215   object (self)
 216     inherit Glade.xml ?autoconnect xmldata
 217     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 218       new GWindow.dialog (GtkWindow.Dialog.cast
 219         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
 220     method toplevel = toplevel
 221     val aboutWin : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 222       new GWindow.dialog (GtkWindow.Dialog.cast
 223         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
 224     method aboutWin = aboutWin
 225     val dialog_vbox2 =
 226       new GPack.box (GtkPack.Box.cast
 227         (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
 228     method dialog_vbox2 = dialog_vbox2
 229     val okbutton2 =
 230       new GButton.button (GtkButton.Button.cast
 231         (Glade.get_widget_msg ~name:"okbutton2" ~info:"GtkButton" xmldata))
 232     method okbutton2 = okbutton2
 233     method reparent parent =
 234       dialog_vbox2#misc#reparent parent;
 235       toplevel#destroy ()
 236     method check_widgets () = ()
 237   end
 238
 239 let check_all ?(show=false) () =
 240   ignore (GMain.Main.init ());
 241   let aboutWin = new aboutWin () in
 242   if show then aboutWin#toplevel#show ();
 243   aboutWin#check_widgets ();
 244   let genericDialog = new genericDialog () in
 245   if show then genericDialog#toplevel#show ();
 246   genericDialog#check_widgets ();
 247   let toolBarWin = new toolBarWin () in
 248   if show then toolBarWin#toplevel#show ();
 249   toolBarWin#check_widgets ();
 250   let fileSelectionWin = new fileSelectionWin () in
 251   if show then fileSelectionWin#toplevel#show ();
 252   fileSelectionWin#check_widgets ();
 253   let proofWin = new proofWin () in
 254   if show then proofWin#toplevel#show ();
 255   proofWin#check_widgets ();
 256   let mainWin = new mainWin () in
 257   if show then mainWin#toplevel#show ();
 258   mainWin#check_widgets ();
 259   if show then GMain.Main.main ()
 260 ;;