helm/matita/matitaGeneratedGui.ml

   1 (* Automatically generated from matita.glade by lablgladecc *)
   2
   3 class mainWin ?(file="matita.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 image76 =
  36       new GMisc.image (GtkMisc.Image.cast
  37         (Glade.get_widget_msg ~name:"image76" ~info:"GtkImage" xmldata))
  38     method image76 = image76
  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 image77 =
  56       new GMisc.image (GtkMisc.Image.cast
  57         (Glade.get_widget_msg ~name:"image77" ~info:"GtkImage" xmldata))
  58     method image77 = image77
  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 image78 =
  64       new GMisc.image (GtkMisc.Image.cast
  65         (Glade.get_widget_msg ~name:"image78" ~info:"GtkImage" xmldata))
  66     method image78 = image78
  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 image79 =
  72       new GMisc.image (GtkMisc.Image.cast
  73         (Glade.get_widget_msg ~name:"image79" ~info:"GtkImage" xmldata))
  74     method image79 = image79
  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 image80 =
  84       new GMisc.image (GtkMisc.Image.cast
  85         (Glade.get_widget_msg ~name:"image80" ~info:"GtkImage" xmldata))
  86     method image80 = image80
  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 debugMenu =
 108       new GMenu.menu_item (GtkMenu.MenuItem.cast
 109         (Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata))
 110     method debugMenu = debugMenu
 111     val debugMenu_menu =
 112       new GMenu.menu (GtkMenu.Menu.cast
 113         (Glade.get_widget_msg ~name:"DebugMenu_menu" ~info:"GtkMenu" xmldata))
 114     method debugMenu_menu = debugMenu_menu
 115     val separator2 =
 116       new GMenu.menu_item (GtkMenu.MenuItem.cast
 117         (Glade.get_widget_msg ~name:"separator2" ~info:"GtkMenuItem" xmldata))
 118     method separator2 = separator2
 119     val helpMenu =
 120       new GMenu.menu_item (GtkMenu.MenuItem.cast
 121         (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
 122     method helpMenu = helpMenu
 123     val helpMenu_menu =
 124       new GMenu.menu (GtkMenu.Menu.cast
 125         (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
 126     method helpMenu_menu = helpMenu_menu
 127     val aboutMenuItem =
 128       new GMenu.menu_item (GtkMenu.MenuItem.cast
 129         (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
 130     method aboutMenuItem = aboutMenuItem
 131     val mainVPanes =
 132       new GPack.paned (GtkPack.Paned.cast
 133         (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
 134     method mainVPanes = mainVPanes
 135     val scrolledSequents =
 136       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 137         (Glade.get_widget_msg ~name:"ScrolledSequents" ~info:"GtkScrolledWindow" xmldata))
 138     method scrolledSequents = scrolledSequents
 139     val scrolledConsole =
 140       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 141         (Glade.get_widget_msg ~name:"ScrolledConsole" ~info:"GtkScrolledWindow" xmldata))
 142     method scrolledConsole = scrolledConsole
 143     val mainStatusBar =
 144       new GMisc.statusbar (GtkMisc.Statusbar.cast
 145         (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
 146     method mainStatusBar = mainStatusBar
 147     method reparent parent =
 148       mainWinShape#misc#reparent parent;
 149       toplevel#destroy ()
 150     method check_widgets () = ()
 151   end
 152 class proofWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 153   let xmldata = Glade.create ~file  ~root:"ProofWin" ?domain () in
 154   object (self)
 155     inherit Glade.xml ?autoconnect xmldata
 156     val toplevel =
 157       new GWindow.window (GtkWindow.Window.cast
 158         (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
 159     method toplevel = toplevel
 160     val proofWin =
 161       new GWindow.window (GtkWindow.Window.cast
 162         (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
 163     method proofWin = proofWin
 164     val proofWinEventBox =
 165       new GBin.event_box (GtkBin.EventBox.cast
 166         (Glade.get_widget_msg ~name:"ProofWinEventBox" ~info:"GtkEventBox" xmldata))
 167     method proofWinEventBox = proofWinEventBox
 168     val scrolledProof =
 169       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 170         (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
 171     method scrolledProof = scrolledProof
 172     val viewport1 =
 173       new GBin.viewport (GtkBin.Viewport.cast
 174         (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata))
 175     method viewport1 = viewport1
 176     method reparent parent =
 177       proofWinEventBox#misc#reparent parent;
 178       toplevel#destroy ()
 179     method check_widgets () = ()
 180   end
 181 class fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 182   let xmldata = Glade.create ~file  ~root:"FileSelectionWin" ?domain () in
 183   object (self)
 184     inherit Glade.xml ?autoconnect xmldata
 185     val toplevel =
 186       new GWindow.file_selection (GtkWindow.FileSelection.cast
 187         (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
 188     method toplevel = toplevel
 189     val fileSelectionWin =
 190       new GWindow.file_selection (GtkWindow.FileSelection.cast
 191         (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
 192     method fileSelectionWin = fileSelectionWin
 193     val cancel_button1 =
 194       new GButton.button (GtkButton.Button.cast
 195         (Glade.get_widget_msg ~name:"cancel_button1" ~info:"GtkButton" xmldata))
 196     method cancel_button1 = cancel_button1
 197     val ok_button1 =
 198       new GButton.button (GtkButton.Button.cast
 199         (Glade.get_widget_msg ~name:"ok_button1" ~info:"GtkButton" xmldata))
 200     method ok_button1 = ok_button1
 201     method check_widgets () = ()
 202   end
 203 class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 204   let xmldata = Glade.create ~file  ~root:"ToolBarWin" ?domain () in
 205   object (self)
 206     inherit Glade.xml ?autoconnect xmldata
 207     val toplevel =
 208       new GWindow.window (GtkWindow.Window.cast
 209         (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
 210     method toplevel = toplevel
 211     val toolBarWin =
 212       new GWindow.window (GtkWindow.Window.cast
 213         (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
 214     method toolBarWin = toolBarWin
 215     val toolBarEventBox =
 216       new GBin.event_box (GtkBin.EventBox.cast
 217         (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
 218     method toolBarEventBox = toolBarEventBox
 219     val vbox1 =
 220       new GPack.box (GtkPack.Box.cast
 221         (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
 222     method vbox1 = vbox1
 223     val button1 =
 224       new GButton.button (GtkButton.Button.cast
 225         (Glade.get_widget_msg ~name:"button1" ~info:"GtkButton" xmldata))
 226     method button1 = button1
 227     val button2 =
 228       new GButton.button (GtkButton.Button.cast
 229         (Glade.get_widget_msg ~name:"button2" ~info:"GtkButton" xmldata))
 230     method button2 = button2
 231     val button3 =
 232       new GButton.button (GtkButton.Button.cast
 233         (Glade.get_widget_msg ~name:"button3" ~info:"GtkButton" xmldata))
 234     method button3 = button3
 235     val button4 =
 236       new GButton.button (GtkButton.Button.cast
 237         (Glade.get_widget_msg ~name:"button4" ~info:"GtkButton" xmldata))
 238     method button4 = button4
 239     method reparent parent =
 240       toolBarEventBox#misc#reparent parent;
 241       toplevel#destroy ()
 242     method check_widgets () = ()
 243   end
 244 class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 245   let xmldata = Glade.create ~file  ~root:"ConfirmationDialog" ?domain () in
 246   object (self)
 247     inherit Glade.xml ?autoconnect xmldata
 248     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 249       new GWindow.dialog (GtkWindow.Dialog.cast
 250         (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
 251     method toplevel = toplevel
 252     val confirmationDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 253       new GWindow.dialog (GtkWindow.Dialog.cast
 254         (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
 255     method confirmationDialog = confirmationDialog
 256     val dialog_vbox1 =
 257       new GPack.box (GtkPack.Box.cast
 258         (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
 259     method dialog_vbox1 = dialog_vbox1
 260     val confirmationDialogCancelButton =
 261       new GButton.button (GtkButton.Button.cast
 262         (Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
 263     method confirmationDialogCancelButton = confirmationDialogCancelButton
 264     val confirmationDialogOkButton =
 265       new GButton.button (GtkButton.Button.cast
 266         (Glade.get_widget_msg ~name:"ConfirmationDialogOkButton" ~info:"GtkButton" xmldata))
 267     method confirmationDialogOkButton = confirmationDialogOkButton
 268     val confirmationDialogLabel =
 269       new GMisc.label (GtkMisc.Label.cast
 270         (Glade.get_widget_msg ~name:"ConfirmationDialogLabel" ~info:"GtkLabel" xmldata))
 271     method confirmationDialogLabel = confirmationDialogLabel
 272     method reparent parent =
 273       dialog_vbox1#misc#reparent parent;
 274       toplevel#destroy ()
 275     method check_widgets () = ()
 276   end
 277 class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 278   let xmldata = Glade.create ~file  ~root:"AboutWin" ?domain () in
 279   object (self)
 280     inherit Glade.xml ?autoconnect xmldata
 281     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 282       new GWindow.dialog (GtkWindow.Dialog.cast
 283         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
 284     method toplevel = toplevel
 285     val aboutWin : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 286       new GWindow.dialog (GtkWindow.Dialog.cast
 287         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
 288     method aboutWin = aboutWin
 289     val dialog_vbox2 =
 290       new GPack.box (GtkPack.Box.cast
 291         (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
 292     method dialog_vbox2 = dialog_vbox2
 293     val aboutDismissButton =
 294       new GButton.button (GtkButton.Button.cast
 295         (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
 296     method aboutDismissButton = aboutDismissButton
 297     method reparent parent =
 298       dialog_vbox2#misc#reparent parent;
 299       toplevel#destroy ()
 300     method check_widgets () = ()
 301   end
 302 class uriChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 303   let xmldata = Glade.create ~file  ~root:"UriChoiceDialog" ?domain () in
 304   object (self)
 305     inherit Glade.xml ?autoconnect xmldata
 306     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 307       new GWindow.dialog (GtkWindow.Dialog.cast
 308         (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
 309     method toplevel = toplevel
 310     val uriChoiceDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 311       new GWindow.dialog (GtkWindow.Dialog.cast
 312         (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
 313     method uriChoiceDialog = uriChoiceDialog
 314     val dialog_vbox3 =
 315       new GPack.box (GtkPack.Box.cast
 316         (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
 317     method dialog_vbox3 = dialog_vbox3
 318     val uriChoiceAbortButton =
 319       new GButton.button (GtkButton.Button.cast
 320         (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
 321     method uriChoiceAbortButton = uriChoiceAbortButton
 322     val uriChoiceSelectedButton =
 323       new GButton.button (GtkButton.Button.cast
 324         (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
 325     method uriChoiceSelectedButton = uriChoiceSelectedButton
 326     val alignment2 =
 327       new GBin.alignment (GtkBin.Alignment.cast
 328         (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
 329     method alignment2 = alignment2
 330     val hbox3 =
 331       new GPack.box (GtkPack.Box.cast
 332         (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
 333     method hbox3 = hbox3
 334     val image19 =
 335       new GMisc.image (GtkMisc.Image.cast
 336         (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
 337     method image19 = image19
 338     val label3 =
 339       new GMisc.label (GtkMisc.Label.cast
 340         (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
 341     method label3 = label3
 342     val uriChoiceConstantsButton =
 343       new GButton.button (GtkButton.Button.cast
 344         (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
 345     method uriChoiceConstantsButton = uriChoiceConstantsButton
 346     val uriChoiceAutoButton =
 347       new GButton.button (GtkButton.Button.cast
 348         (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
 349     method uriChoiceAutoButton = uriChoiceAutoButton
 350     val alignment1 =
 351       new GBin.alignment (GtkBin.Alignment.cast
 352         (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
 353     method alignment1 = alignment1
 354     val hbox1 =
 355       new GPack.box (GtkPack.Box.cast
 356         (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
 357     method hbox1 = hbox1
 358     val image18 =
 359       new GMisc.image (GtkMisc.Image.cast
 360         (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
 361     method image18 = image18
 362     val label1 =
 363       new GMisc.label (GtkMisc.Label.cast
 364         (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
 365     method label1 = label1
 366     val vbox2 =
 367       new GPack.box (GtkPack.Box.cast
 368         (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
 369     method vbox2 = vbox2
 370     val uriChoiceLabel =
 371       new GMisc.label (GtkMisc.Label.cast
 372         (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
 373     method uriChoiceLabel = uriChoiceLabel
 374     val scrolledwindow1 =
 375       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 376         (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
 377     method scrolledwindow1 = scrolledwindow1
 378     val uriChoiceTreeView =
 379       new GTree.view (GtkTree.TreeView.cast
 380         (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
 381     method uriChoiceTreeView = uriChoiceTreeView
 382     val hbox2 =
 383       new GPack.box (GtkPack.Box.cast
 384         (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
 385     method hbox2 = hbox2
 386     val label2 =
 387       new GMisc.label (GtkMisc.Label.cast
 388         (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
 389     method label2 = label2
 390     val entry1 =
 391       new GEdit.entry (GtkEdit.Entry.cast
 392         (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
 393     method entry1 = entry1
 394     method reparent parent =
 395       dialog_vbox3#misc#reparent parent;
 396       toplevel#destroy ()
 397     method check_widgets () = ()
 398   end
 399 class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 400   let xmldata = Glade.create ~file  ~root:"InterpChoiceDialog" ?domain () in
 401   object (self)
 402     inherit Glade.xml ?autoconnect xmldata
 403     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 404       new GWindow.dialog (GtkWindow.Dialog.cast
 405         (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
 406     method toplevel = toplevel
 407     val interpChoiceDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 408       new GWindow.dialog (GtkWindow.Dialog.cast
 409         (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
 410     method interpChoiceDialog = interpChoiceDialog
 411     val dialog_vbox4 =
 412       new GPack.box (GtkPack.Box.cast
 413         (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
 414     method dialog_vbox4 = dialog_vbox4
 415     val interpChoiceHelpButton =
 416       new GButton.button (GtkButton.Button.cast
 417         (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
 418     method interpChoiceHelpButton = interpChoiceHelpButton
 419     val interpChoiceCancelButton =
 420       new GButton.button (GtkButton.Button.cast
 421         (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
 422     method interpChoiceCancelButton = interpChoiceCancelButton
 423     val interpChoiceOkButton =
 424       new GButton.button (GtkButton.Button.cast
 425         (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
 426     method interpChoiceOkButton = interpChoiceOkButton
 427     val vbox3 =
 428       new GPack.box (GtkPack.Box.cast
 429         (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
 430     method vbox3 = vbox3
 431     val label6 =
 432       new GMisc.label (GtkMisc.Label.cast
 433         (Glade.get_widget_msg ~name:"label6" ~info:"GtkLabel" xmldata))
 434     method label6 = label6
 435     method reparent parent =
 436       dialog_vbox4#misc#reparent parent;
 437       toplevel#destroy ()
 438     method check_widgets () = ()
 439   end
 440 class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 441   let xmldata = Glade.create ~file  ~root:"EmptyDialog" ?domain () in
 442   object (self)
 443     inherit Glade.xml ?autoconnect xmldata
 444     val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 445       new GWindow.dialog (GtkWindow.Dialog.cast
 446         (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
 447     method toplevel = toplevel
 448     val emptyDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
 449       new GWindow.dialog (GtkWindow.Dialog.cast
 450         (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
 451     method emptyDialog = emptyDialog
 452     val emptyDialogVBox =
 453       new GPack.box (GtkPack.Box.cast
 454         (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
 455     method emptyDialogVBox = emptyDialogVBox
 456     val emptyDialogCancelButton =
 457       new GButton.button (GtkButton.Button.cast
 458         (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))
 459     method emptyDialogCancelButton = emptyDialogCancelButton
 460     val emptyDialogOkButton =
 461       new GButton.button (GtkButton.Button.cast
 462         (Glade.get_widget_msg ~name:"EmptyDialogOkButton" ~info:"GtkButton" xmldata))
 463     method emptyDialogOkButton = emptyDialogOkButton
 464     val emptyDialogLabel =
 465       new GMisc.label (GtkMisc.Label.cast
 466         (Glade.get_widget_msg ~name:"EmptyDialogLabel" ~info:"GtkLabel" xmldata))
 467     method emptyDialogLabel = emptyDialogLabel
 468     method reparent parent =
 469       emptyDialogVBox#misc#reparent parent;
 470       toplevel#destroy ()
 471     method check_widgets () = ()
 472   end
 473
 474 let check_all ?(show=false) () =
 475   ignore (GMain.Main.init ());
 476   let emptyDialog = new emptyDialog () in
 477   if show then emptyDialog#toplevel#show ();
 478   emptyDialog#check_widgets ();
 479   let interpChoiceDialog = new interpChoiceDialog () in
 480   if show then interpChoiceDialog#toplevel#show ();
 481   interpChoiceDialog#check_widgets ();
 482   let uriChoiceDialog = new uriChoiceDialog () in
 483   if show then uriChoiceDialog#toplevel#show ();
 484   uriChoiceDialog#check_widgets ();
 485   let aboutWin = new aboutWin () in
 486   if show then aboutWin#toplevel#show ();
 487   aboutWin#check_widgets ();
 488   let confirmationDialog = new confirmationDialog () in
 489   if show then confirmationDialog#toplevel#show ();
 490   confirmationDialog#check_widgets ();
 491   let toolBarWin = new toolBarWin () in
 492   if show then toolBarWin#toplevel#show ();
 493   toolBarWin#check_widgets ();
 494   let fileSelectionWin = new fileSelectionWin () in
 495   if show then fileSelectionWin#toplevel#show ();
 496   fileSelectionWin#check_widgets ();
 497   let proofWin = new proofWin () in
 498   if show then proofWin#toplevel#show ();
 499   proofWin#check_widgets ();
 500   let mainWin = new mainWin () in
 501   if show then mainWin#toplevel#show ();
 502   mainWin#check_widgets ();
 503   if show then GMain.Main.main ()
 504 ;;