helm/mathita/mathitaGeneratedGui.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 newMenu =
  32       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
  33         (Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
  34     method newMenu = newMenu
  35     val image13 =
  36       new GMisc.image (GtkMisc.Image.cast
  37         (Glade.get_widget_msg ~name:"image13" ~info:"GtkImage" xmldata))
  38     method image13 = image13
  39     val newMenu_menu =
  40       new GMenu.menu (GtkMenu.Menu.cast
  41         (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata))
  42     method newMenu_menu = newMenu_menu
  43     val newProofMenuItem =
  44       new GMenu.menu_item (GtkMenu.MenuItem.cast
  45         (Glade.get_widget_msg ~name:"NewProofMenuItem" ~info:"GtkMenuItem" xmldata))
  46     method newProofMenuItem = newProofMenuItem
  47     val newDefsMenuItem =
  48       new GMenu.menu_item (GtkMenu.MenuItem.cast
  49         (Glade.get_widget_msg ~name:"NewDefsMenuItem" ~info:"GtkMenuItem" xmldata))
  50     method newDefsMenuItem = newDefsMenuItem
  51     val openMenuItem =
  52       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
  53         (Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata))
  54     method openMenuItem = openMenuItem
  55     val image14 =
  56       new GMisc.image (GtkMisc.Image.cast
  57         (Glade.get_widget_msg ~name:"image14" ~info:"GtkImage" xmldata))
  58     method image14 = image14
  59     val saveMenuItem =
  60       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
  61         (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
  62     method saveMenuItem = saveMenuItem
  63     val image15 =
  64       new GMisc.image (GtkMisc.Image.cast
  65         (Glade.get_widget_msg ~name:"image15" ~info:"GtkImage" xmldata))
  66     method image15 = image15
  67     val saveAsMenuItem =
  68       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
  69         (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
  70     method saveAsMenuItem = saveAsMenuItem
  71     val image16 =
  72       new GMisc.image (GtkMisc.Image.cast
  73         (Glade.get_widget_msg ~name:"image16" ~info:"GtkImage" xmldata))
  74     method image16 = image16
  75     val separator1 =
  76       new GMenu.menu_item (GtkMenu.MenuItem.cast
  77         (Glade.get_widget_msg ~name:"separator1" ~info:"GtkMenuItem" xmldata))
  78     method separator1 = separator1
  79     val quitMenuItem =
  80       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
  81         (Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
  82     method quitMenuItem = quitMenuItem
  83     val image17 =
  84       new GMisc.image (GtkMisc.Image.cast
  85         (Glade.get_widget_msg ~name:"image17" ~info:"GtkImage" xmldata))
  86     method image17 = image17
  87     val editMenu =
  88       new GMenu.menu_item (GtkMenu.MenuItem.cast
  89         (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
  90     method editMenu = editMenu
  91     val viewMenu =
  92       new GMenu.menu_item (GtkMenu.MenuItem.cast
  93         (Glade.get_widget_msg ~name:"ViewMenu" ~info:"GtkMenuItem" xmldata))
  94     method viewMenu = viewMenu
  95     val viewMenu_menu =
  96       new GMenu.menu (GtkMenu.Menu.cast
  97         (Glade.get_widget_msg ~name:"ViewMenu_menu" ~info:"GtkMenu" xmldata))
  98     method viewMenu_menu = viewMenu_menu
  99     val showToolBarMenuItem =
 100       new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
 101         (Glade.get_widget_msg ~name:"ShowToolBarMenuItem" ~info:"GtkCheckMenuItem" xmldata))
 102     method showToolBarMenuItem = showToolBarMenuItem
 103     val showProofMenuItem =
 104       new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
 105         (Glade.get_widget_msg ~name:"ShowProofMenuItem" ~info:"GtkCheckMenuItem" xmldata))
 106     method showProofMenuItem = showProofMenuItem
 107     val helpMenu =
 108       new GMenu.menu_item (GtkMenu.MenuItem.cast
 109         (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
 110     method helpMenu = helpMenu
 111     val helpMenu_menu =
 112       new GMenu.menu (GtkMenu.Menu.cast
 113         (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
 114     method helpMenu_menu = helpMenu_menu
 115     val aboutMenuItem =
 116       new GMenu.menu_item (GtkMenu.MenuItem.cast
 117         (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
 118     method aboutMenuItem = aboutMenuItem
 119     val mainVPanes =
 120       new GPack.paned (GtkPack.Paned.cast
 121         (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
 122     method mainVPanes = mainVPanes
 123     val proofStatus =
 124       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 125         (Glade.get_widget_msg ~name:"ProofStatus" ~info:"GtkScrolledWindow" xmldata))
 126     method proofStatus = proofStatus
 127     val scrolledUserInput =
 128       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 129         (Glade.get_widget_msg ~name:"ScrolledUserInput" ~info:"GtkScrolledWindow" xmldata))
 130     method scrolledUserInput = scrolledUserInput
 131     val mainStatusBar =
 132       new GMisc.statusbar (GtkMisc.Statusbar.cast
 133         (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
 134     method mainStatusBar = mainStatusBar
 135     method reparent parent =
 136       mainWinShape#misc#reparent parent;
 137       toplevel#destroy ()
 138     method check_widgets () = ()
 139   end
 140 class proofWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
 141   let xmldata = Glade.create ~file  ~root:"ProofWin" ?domain () in
 142   object (self)
 143     inherit Glade.xml ?autoconnect xmldata
 144     val toplevel =
 145       new GWindow.window (GtkWindow.Window.cast
 146         (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
 147     method toplevel = toplevel
 148     val proofWin =
 149       new GWindow.window (GtkWindow.Window.cast
 150         (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
 151     method proofWin = proofWin
 152     val proofWinEventBox =
 153       new GBin.event_box (GtkBin.EventBox.cast
 154         (Glade.get_widget_msg ~name:"ProofWinEventBox" ~info:"GtkEventBox" xmldata))
 155     method proofWinEventBox = proofWinEventBox
 156     val scrolledProof =
 157       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 158         (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
 159     method scrolledProof = scrolledProof
 160     val viewport1 =
 161       new GBin.viewport (GtkBin.Viewport.cast
 162         (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata))
 163     method viewport1 = viewport1
 164     method reparent parent =
 165       proofWinEventBox#misc#reparent parent;
 166       toplevel#destroy ()
 167     method check_widgets () = ()
 168   end
 169 class fileSelectionWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
 170   let xmldata = Glade.create ~file  ~root:"FileSelectionWin" ?domain () in
 171   object (self)
 172     inherit Glade.xml ?autoconnect xmldata
 173     val toplevel =
 174       new GWindow.file_selection (GtkWindow.FileSelection.cast
 175         (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
 176     method toplevel = toplevel
 177     val fileSelectionWin =
 178       new GWindow.file_selection (GtkWindow.FileSelection.cast
 179         (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
 180     method fileSelectionWin = fileSelectionWin
 181     val cancel_button1 =
 182       new GButton.button (GtkButton.Button.cast
 183         (Glade.get_widget_msg ~name:"cancel_button1" ~info:"GtkButton" xmldata))
 184     method cancel_button1 = cancel_button1
 185     val ok_button1 =
 186       new GButton.button (GtkButton.Button.cast
 187         (Glade.get_widget_msg ~name:"ok_button1" ~info:"GtkButton" xmldata))
 188     method ok_button1 = ok_button1
 189     method check_widgets () = ()
 190   end
 191 class toolBarWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
 192   let xmldata = Glade.create ~file  ~root:"ToolBarWin" ?domain () in
 193   object (self)
 194     inherit Glade.xml ?autoconnect xmldata
 195     val toplevel =
 196       new GWindow.window (GtkWindow.Window.cast
 197         (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
 198     method toplevel = toplevel
 199     val toolBarWin =
 200       new GWindow.window (GtkWindow.Window.cast
 201         (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
 202     method toolBarWin = toolBarWin
 203     val toolBarEventBox =
 204       new GBin.event_box (GtkBin.EventBox.cast
 205         (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
 206     method toolBarEventBox = toolBarEventBox
 207     val vbox1 =
 208       new GPack.box (GtkPack.Box.cast
 209         (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
 210     method vbox1 = vbox1
 211     val button1 =
 212       new GButton.button (GtkButton.Button.cast
 213         (Glade.get_widget_msg ~name:"button1" ~info:"GtkButton" xmldata))
 214     method button1 = button1
 215     val button2 =
 216       new GButton.button (GtkButton.Button.cast
 217         (Glade.get_widget_msg ~name:"button2" ~info:"GtkButton" xmldata))
 218     method button2 = button2
 219     val button3 =
 220       new GButton.button (GtkButton.Button.cast
 221         (Glade.get_widget_msg ~name:"button3" ~info:"GtkButton" xmldata))
 222     method button3 = button3
 223     val button4 =
 224       new GButton.button (GtkButton.Button.cast
 225         (Glade.get_widget_msg ~name:"button4" ~info:"GtkButton" xmldata))
 226     method button4 = button4
 227     method reparent parent =
 228       toolBarEventBox#misc#reparent parent;
 229       toplevel#destroy ()
 230     method check_widgets () = ()
 231   end
 232 class genericDialog ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
 233   let xmldata = Glade.create ~file  ~root:"GenericDialog" ?domain () in
 234   object (self)
 235     inherit Glade.xml ?autoconnect xmldata
 236     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 237       new GWindow.dialog (GtkWindow.Dialog.cast
 238         (Glade.get_widget_msg ~name:"GenericDialog" ~info:"GtkDialog" xmldata))
 239     method toplevel = toplevel
 240     val genericDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 241       new GWindow.dialog (GtkWindow.Dialog.cast
 242         (Glade.get_widget_msg ~name:"GenericDialog" ~info:"GtkDialog" xmldata))
 243     method genericDialog = genericDialog
 244     val dialog_vbox1 =
 245       new GPack.box (GtkPack.Box.cast
 246         (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
 247     method dialog_vbox1 = dialog_vbox1
 248     val cancelbutton1 =
 249       new GButton.button (GtkButton.Button.cast
 250         (Glade.get_widget_msg ~name:"cancelbutton1" ~info:"GtkButton" xmldata))
 251     method cancelbutton1 = cancelbutton1
 252     val okbutton1 =
 253       new GButton.button (GtkButton.Button.cast
 254         (Glade.get_widget_msg ~name:"okbutton1" ~info:"GtkButton" xmldata))
 255     method okbutton1 = okbutton1
 256     method reparent parent =
 257       dialog_vbox1#misc#reparent parent;
 258       toplevel#destroy ()
 259     method check_widgets () = ()
 260   end
 261 class aboutWin ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
 262   let xmldata = Glade.create ~file  ~root:"AboutWin" ?domain () in
 263   object (self)
 264     inherit Glade.xml ?autoconnect xmldata
 265     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 266       new GWindow.dialog (GtkWindow.Dialog.cast
 267         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
 268     method toplevel = toplevel
 269     val aboutWin : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 270       new GWindow.dialog (GtkWindow.Dialog.cast
 271         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
 272     method aboutWin = aboutWin
 273     val dialog_vbox2 =
 274       new GPack.box (GtkPack.Box.cast
 275         (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
 276     method dialog_vbox2 = dialog_vbox2
 277     val aboutDismissButton =
 278       new GButton.button (GtkButton.Button.cast
 279         (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
 280     method aboutDismissButton = aboutDismissButton
 281     method reparent parent =
 282       dialog_vbox2#misc#reparent parent;
 283       toplevel#destroy ()
 284     method check_widgets () = ()
 285   end
 286 class uriChoiceDialog ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
 287   let xmldata = Glade.create ~file  ~root:"UriChoiceDialog" ?domain () in
 288   object (self)
 289     inherit Glade.xml ?autoconnect xmldata
 290     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 291       new GWindow.dialog (GtkWindow.Dialog.cast
 292         (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
 293     method toplevel = toplevel
 294     val uriChoiceDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 295       new GWindow.dialog (GtkWindow.Dialog.cast
 296         (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
 297     method uriChoiceDialog = uriChoiceDialog
 298     val dialog_vbox3 =
 299       new GPack.box (GtkPack.Box.cast
 300         (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
 301     method dialog_vbox3 = dialog_vbox3
 302     val uriChoiceAbortButton =
 303       new GButton.button (GtkButton.Button.cast
 304         (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
 305     method uriChoiceAbortButton = uriChoiceAbortButton
 306     val uriChoiceSelectedButton =
 307       new GButton.button (GtkButton.Button.cast
 308         (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
 309     method uriChoiceSelectedButton = uriChoiceSelectedButton
 310     val alignment2 =
 311       new GBin.alignment (GtkBin.Alignment.cast
 312         (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
 313     method alignment2 = alignment2
 314     val hbox3 =
 315       new GPack.box (GtkPack.Box.cast
 316         (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
 317     method hbox3 = hbox3
 318     val image19 =
 319       new GMisc.image (GtkMisc.Image.cast
 320         (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
 321     method image19 = image19
 322     val label3 =
 323       new GMisc.label (GtkMisc.Label.cast
 324         (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
 325     method label3 = label3
 326     val uriChoiceConstantsButton =
 327       new GButton.button (GtkButton.Button.cast
 328         (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
 329     method uriChoiceConstantsButton = uriChoiceConstantsButton
 330     val uriChoiceAutoButton =
 331       new GButton.button (GtkButton.Button.cast
 332         (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
 333     method uriChoiceAutoButton = uriChoiceAutoButton
 334     val alignment1 =
 335       new GBin.alignment (GtkBin.Alignment.cast
 336         (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
 337     method alignment1 = alignment1
 338     val hbox1 =
 339       new GPack.box (GtkPack.Box.cast
 340         (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
 341     method hbox1 = hbox1
 342     val image18 =
 343       new GMisc.image (GtkMisc.Image.cast
 344         (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
 345     method image18 = image18
 346     val label1 =
 347       new GMisc.label (GtkMisc.Label.cast
 348         (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
 349     method label1 = label1
 350     val vbox2 =
 351       new GPack.box (GtkPack.Box.cast
 352         (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
 353     method vbox2 = vbox2
 354     val uriChoiceLabel =
 355       new GMisc.label (GtkMisc.Label.cast
 356         (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
 357     method uriChoiceLabel = uriChoiceLabel
 358     val scrolledwindow1 =
 359       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 360         (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
 361     method scrolledwindow1 = scrolledwindow1
 362     val uriChoiceTreeView =
 363       new GTree.view (GtkTree.TreeView.cast
 364         (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
 365     method uriChoiceTreeView = uriChoiceTreeView
 366     val hbox2 =
 367       new GPack.box (GtkPack.Box.cast
 368         (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
 369     method hbox2 = hbox2
 370     val label2 =
 371       new GMisc.label (GtkMisc.Label.cast
 372         (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
 373     method label2 = label2
 374     val entry1 =
 375       new GEdit.entry (GtkEdit.Entry.cast
 376         (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
 377     method entry1 = entry1
 378     method reparent parent =
 379       dialog_vbox3#misc#reparent parent;
 380       toplevel#destroy ()
 381     method check_widgets () = ()
 382   end
 383 class interpChoiceDialog ?(file="mathita.glade") ?domain ?autoconnect(*=true*) () =
 384   let xmldata = Glade.create ~file  ~root:"InterpChoiceDialog" ?domain () in
 385   object (self)
 386     inherit Glade.xml ?autoconnect xmldata
 387     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 388       new GWindow.dialog (GtkWindow.Dialog.cast
 389         (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
 390     method toplevel = toplevel
 391     val interpChoiceDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 392       new GWindow.dialog (GtkWindow.Dialog.cast
 393         (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
 394     method interpChoiceDialog = interpChoiceDialog
 395     val dialog_vbox4 =
 396       new GPack.box (GtkPack.Box.cast
 397         (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
 398     method dialog_vbox4 = dialog_vbox4
 399     val interpChoiceHelpButton =
 400       new GButton.button (GtkButton.Button.cast
 401         (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
 402     method interpChoiceHelpButton = interpChoiceHelpButton
 403     val interpChoiceCancelButton =
 404       new GButton.button (GtkButton.Button.cast
 405         (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
 406     method interpChoiceCancelButton = interpChoiceCancelButton
 407     val interpChoiceOkButton =
 408       new GButton.button (GtkButton.Button.cast
 409         (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
 410     method interpChoiceOkButton = interpChoiceOkButton
 411     val vbox3 =
 412       new GPack.box (GtkPack.Box.cast
 413         (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
 414     method vbox3 = vbox3
 415     val label6 =
 416       new GMisc.label (GtkMisc.Label.cast
 417         (Glade.get_widget_msg ~name:"label6" ~info:"GtkLabel" xmldata))
 418     method label6 = label6
 419     method reparent parent =
 420       dialog_vbox4#misc#reparent parent;
 421       toplevel#destroy ()
 422     method check_widgets () = ()
 423   end
 424
 425 let check_all ?(show=false) () =
 426   ignore (GMain.Main.init ());
 427   let interpChoiceDialog = new interpChoiceDialog () in
 428   if show then interpChoiceDialog#toplevel#show ();
 429   interpChoiceDialog#check_widgets ();
 430   let uriChoiceDialog = new uriChoiceDialog () in
 431   if show then uriChoiceDialog#toplevel#show ();
 432   uriChoiceDialog#check_widgets ();
 433   let aboutWin = new aboutWin () in
 434   if show then aboutWin#toplevel#show ();
 435   aboutWin#check_widgets ();
 436   let genericDialog = new genericDialog () in
 437   if show then genericDialog#toplevel#show ();
 438   genericDialog#check_widgets ();
 439   let toolBarWin = new toolBarWin () in
 440   if show then toolBarWin#toplevel#show ();
 441   toolBarWin#check_widgets ();
 442   let fileSelectionWin = new fileSelectionWin () in
 443   if show then fileSelectionWin#toplevel#show ();
 444   fileSelectionWin#check_widgets ();
 445   let proofWin = new proofWin () in
 446   if show then proofWin#toplevel#show ();
 447   proofWin#check_widgets ();
 448   let mainWin = new mainWin () in
 449   if show then mainWin#toplevel#show ();
 450   mainWin#check_widgets ();
 451   if show then GMain.Main.main ()
 452 ;;