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 mainWinEventBox =
  16       new GBin.event_box (GtkBin.EventBox.cast
  17         (Glade.get_widget_msg ~name:"MainWinEventBox" ~info:"GtkEventBox" xmldata))
  18     method mainWinEventBox = mainWinEventBox
  19     val mainWinShape =
  20       new GPack.box (GtkPack.Box.cast
  21         (Glade.get_widget_msg ~name:"MainWinShape" ~info:"GtkVBox" xmldata))
  22     method mainWinShape = mainWinShape
  23     val mainMenuBar =
  24       new GMenu.menu_shell (GtkMenu.MenuBar.cast
  25         (Glade.get_widget_msg ~name:"MainMenuBar" ~info:"GtkMenuBar" xmldata))
  26     method mainMenuBar = mainMenuBar
  27     val fileMenu =
  28       new GMenu.menu_item (GtkMenu.MenuItem.cast
  29         (Glade.get_widget_msg ~name:"FileMenu" ~info:"GtkMenuItem" xmldata))
  30     method fileMenu = fileMenu
  31     val fileMenu_menu =
  32       new GMenu.menu (GtkMenu.Menu.cast
  33         (Glade.get_widget_msg ~name:"FileMenu_menu" ~info:"GtkMenu" xmldata))
  34     method fileMenu_menu = fileMenu_menu
  35     val newMenu =
  36       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
  37         (Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
  38     method newMenu = newMenu
  39     val image128 =
  40       new GMisc.image (GtkMisc.Image.cast
  41         (Glade.get_widget_msg ~name:"image128" ~info:"GtkImage" xmldata))
  42     method image128 = image128
  43     val newMenu_menu =
  44       new GMenu.menu (GtkMenu.Menu.cast
  45         (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata))
  46     method newMenu_menu = newMenu_menu
  47     val newProofMenuItem =
  48       new GMenu.menu_item (GtkMenu.MenuItem.cast
  49         (Glade.get_widget_msg ~name:"NewProofMenuItem" ~info:"GtkMenuItem" xmldata))
  50     method newProofMenuItem = newProofMenuItem
  51     val newDefsMenuItem =
  52       new GMenu.menu_item (GtkMenu.MenuItem.cast
  53         (Glade.get_widget_msg ~name:"NewDefsMenuItem" ~info:"GtkMenuItem" xmldata))
  54     method newDefsMenuItem = newDefsMenuItem
  55     val openMenuItem =
  56       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
  57         (Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata))
  58     method openMenuItem = openMenuItem
  59     val image129 =
  60       new GMisc.image (GtkMisc.Image.cast
  61         (Glade.get_widget_msg ~name:"image129" ~info:"GtkImage" xmldata))
  62     method image129 = image129
  63     val saveMenuItem =
  64       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
  65         (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
  66     method saveMenuItem = saveMenuItem
  67     val image130 =
  68       new GMisc.image (GtkMisc.Image.cast
  69         (Glade.get_widget_msg ~name:"image130" ~info:"GtkImage" xmldata))
  70     method image130 = image130
  71     val saveAsMenuItem =
  72       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
  73         (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
  74     method saveAsMenuItem = saveAsMenuItem
  75     val image131 =
  76       new GMisc.image (GtkMisc.Image.cast
  77         (Glade.get_widget_msg ~name:"image131" ~info:"GtkImage" xmldata))
  78     method image131 = image131
  79     val separator1 =
  80       new GMenu.menu_item (GtkMenu.MenuItem.cast
  81         (Glade.get_widget_msg ~name:"separator1" ~info:"GtkSeparatorMenuItem" xmldata))
  82     method separator1 = separator1
  83     val quitMenuItem =
  84       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
  85         (Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
  86     method quitMenuItem = quitMenuItem
  87     val image132 =
  88       new GMisc.image (GtkMisc.Image.cast
  89         (Glade.get_widget_msg ~name:"image132" ~info:"GtkImage" xmldata))
  90     method image132 = image132
  91     val editMenu =
  92       new GMenu.menu_item (GtkMenu.MenuItem.cast
  93         (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
  94     method editMenu = editMenu
  95     val viewMenu =
  96       new GMenu.menu_item (GtkMenu.MenuItem.cast
  97         (Glade.get_widget_msg ~name:"ViewMenu" ~info:"GtkMenuItem" xmldata))
  98     method viewMenu = viewMenu
  99     val viewMenu_menu =
 100       new GMenu.menu (GtkMenu.Menu.cast
 101         (Glade.get_widget_msg ~name:"ViewMenu_menu" ~info:"GtkMenu" xmldata))
 102     method viewMenu_menu = viewMenu_menu
 103     val showToolBarMenuItem =
 104       new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
 105         (Glade.get_widget_msg ~name:"ShowToolBarMenuItem" ~info:"GtkCheckMenuItem" xmldata))
 106     method showToolBarMenuItem = showToolBarMenuItem
 107     val showProofMenuItem =
 108       new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
 109         (Glade.get_widget_msg ~name:"ShowProofMenuItem" ~info:"GtkCheckMenuItem" xmldata))
 110     method showProofMenuItem = showProofMenuItem
 111     val showCheckMenuItem =
 112       new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
 113         (Glade.get_widget_msg ~name:"ShowCheckMenuItem" ~info:"GtkCheckMenuItem" xmldata))
 114     method showCheckMenuItem = showCheckMenuItem
 115     val showScriptMenuItem =
 116       new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
 117         (Glade.get_widget_msg ~name:"ShowScriptMenuItem" ~info:"GtkCheckMenuItem" xmldata))
 118     method showScriptMenuItem = showScriptMenuItem
 119     val debugMenu =
 120       new GMenu.menu_item (GtkMenu.MenuItem.cast
 121         (Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata))
 122     method debugMenu = debugMenu
 123     val debugMenu_menu =
 124       new GMenu.menu (GtkMenu.Menu.cast
 125         (Glade.get_widget_msg ~name:"DebugMenu_menu" ~info:"GtkMenu" xmldata))
 126     method debugMenu_menu = debugMenu_menu
 127     val separator2 =
 128       new GMenu.menu_item (GtkMenu.MenuItem.cast
 129         (Glade.get_widget_msg ~name:"separator2" ~info:"GtkSeparatorMenuItem" xmldata))
 130     method separator2 = separator2
 131     val helpMenu =
 132       new GMenu.menu_item (GtkMenu.MenuItem.cast
 133         (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
 134     method helpMenu = helpMenu
 135     val helpMenu_menu =
 136       new GMenu.menu (GtkMenu.Menu.cast
 137         (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
 138     method helpMenu_menu = helpMenu_menu
 139     val aboutMenuItem =
 140       new GMenu.menu_item (GtkMenu.MenuItem.cast
 141         (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
 142     method aboutMenuItem = aboutMenuItem
 143     val mainVPanes =
 144       new GPack.paned (GtkPack.Paned.cast
 145         (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
 146     method mainVPanes = mainVPanes
 147     val scrolledSequents =
 148       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 149         (Glade.get_widget_msg ~name:"ScrolledSequents" ~info:"GtkScrolledWindow" xmldata))
 150     method scrolledSequents = scrolledSequents
 151     val viewport1 =
 152       new GBin.viewport (GtkBin.Viewport.cast
 153         (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata))
 154     method viewport1 = viewport1
 155     val sequentsNotebook =
 156       new GPack.notebook (GtkPack.Notebook.cast
 157         (Glade.get_widget_msg ~name:"SequentsNotebook" ~info:"GtkNotebook" xmldata))
 158     method sequentsNotebook = sequentsNotebook
 159     val consoleEventBox =
 160       new GBin.event_box (GtkBin.EventBox.cast
 161         (Glade.get_widget_msg ~name:"ConsoleEventBox" ~info:"GtkEventBox" xmldata))
 162     method consoleEventBox = consoleEventBox
 163     val scrolledConsole =
 164       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 165         (Glade.get_widget_msg ~name:"ScrolledConsole" ~info:"GtkScrolledWindow" xmldata))
 166     method scrolledConsole = scrolledConsole
 167     val mainStatusBar =
 168       new GMisc.statusbar (GtkMisc.Statusbar.cast
 169         (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
 170     method mainStatusBar = mainStatusBar
 171     method reparent parent =
 172       mainWinEventBox#misc#reparent parent;
 173       toplevel#destroy ()
 174     method check_widgets () = ()
 175   end
 176 class proofWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 177   let xmldata = Glade.create ~file  ~root:"ProofWin" ?domain () in
 178   object (self)
 179     inherit Glade.xml ?autoconnect xmldata
 180     val toplevel =
 181       new GWindow.window (GtkWindow.Window.cast
 182         (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
 183     method toplevel = toplevel
 184     val proofWin =
 185       new GWindow.window (GtkWindow.Window.cast
 186         (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
 187     method proofWin = proofWin
 188     val proofWinEventBox =
 189       new GBin.event_box (GtkBin.EventBox.cast
 190         (Glade.get_widget_msg ~name:"ProofWinEventBox" ~info:"GtkEventBox" xmldata))
 191     method proofWinEventBox = proofWinEventBox
 192     val scrolledProof =
 193       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 194         (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
 195     method scrolledProof = scrolledProof
 196     method reparent parent =
 197       proofWinEventBox#misc#reparent parent;
 198       toplevel#destroy ()
 199     method check_widgets () = ()
 200   end
 201 class fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 202   let xmldata = Glade.create ~file  ~root:"FileSelectionWin" ?domain () in
 203   object (self)
 204     inherit Glade.xml ?autoconnect xmldata
 205     val toplevel =
 206       new GWindow.file_selection (GtkWindow.FileSelection.cast
 207         (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
 208     method toplevel = toplevel
 209     val fileSelectionWin =
 210       new GWindow.file_selection (GtkWindow.FileSelection.cast
 211         (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
 212     method fileSelectionWin = fileSelectionWin
 213     val fileSelCancelButton =
 214       new GButton.button (GtkButton.Button.cast
 215         (Glade.get_widget_msg ~name:"fileSelCancelButton" ~info:"GtkButton" xmldata))
 216     method fileSelCancelButton = fileSelCancelButton
 217     val fileSelOkButton =
 218       new GButton.button (GtkButton.Button.cast
 219         (Glade.get_widget_msg ~name:"fileSelOkButton" ~info:"GtkButton" xmldata))
 220     method fileSelOkButton = fileSelOkButton
 221     method check_widgets () = ()
 222   end
 223 class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 224   let xmldata = Glade.create ~file  ~root:"ToolBarWin" ?domain () in
 225   object (self)
 226     inherit Glade.xml ?autoconnect xmldata
 227     val toplevel =
 228       new GWindow.window (GtkWindow.Window.cast
 229         (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
 230     method toplevel = toplevel
 231     val toolBarWin =
 232       new GWindow.window (GtkWindow.Window.cast
 233         (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
 234     method toolBarWin = toolBarWin
 235     val toolBarEventBox =
 236       new GBin.event_box (GtkBin.EventBox.cast
 237         (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
 238     method toolBarEventBox = toolBarEventBox
 239     val vbox1 =
 240       new GPack.box (GtkPack.Box.cast
 241         (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
 242     method vbox1 = vbox1
 243     val vbuttonbox1 =
 244       new GPack.button_box (GtkPack.BBox.cast
 245         (Glade.get_widget_msg ~name:"vbuttonbox1" ~info:"GtkVButtonBox" xmldata))
 246     method vbuttonbox1 = vbuttonbox1
 247     val button1 =
 248       new GButton.button (GtkButton.Button.cast
 249         (Glade.get_widget_msg ~name:"button1" ~info:"GtkButton" xmldata))
 250     method button1 = button1
 251     val button2 =
 252       new GButton.button (GtkButton.Button.cast
 253         (Glade.get_widget_msg ~name:"button2" ~info:"GtkButton" xmldata))
 254     method button2 = button2
 255     val button3 =
 256       new GButton.button (GtkButton.Button.cast
 257         (Glade.get_widget_msg ~name:"button3" ~info:"GtkButton" xmldata))
 258     method button3 = button3
 259     val button4 =
 260       new GButton.button (GtkButton.Button.cast
 261         (Glade.get_widget_msg ~name:"button4" ~info:"GtkButton" xmldata))
 262     method button4 = button4
 263     method reparent parent =
 264       toolBarEventBox#misc#reparent parent;
 265       toplevel#destroy ()
 266     method check_widgets () = ()
 267   end
 268 class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 269   let xmldata = Glade.create ~file  ~root:"ConfirmationDialog" ?domain () in
 270   object (self)
 271     inherit Glade.xml ?autoconnect xmldata
 272     val toplevel =
 273       new GWindow.dialog_any (GtkWindow.Dialog.cast
 274         (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
 275     method toplevel = toplevel
 276     val confirmationDialog =
 277       new GWindow.dialog_any (GtkWindow.Dialog.cast
 278         (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
 279     method confirmationDialog = confirmationDialog
 280     val dialog_vbox1 =
 281       new GPack.box (GtkPack.Box.cast
 282         (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
 283     method dialog_vbox1 = dialog_vbox1
 284     val dialog_action_area1 =
 285       new GPack.button_box (GtkPack.BBox.cast
 286         (Glade.get_widget_msg ~name:"dialog-action_area1" ~info:"GtkHButtonBox" xmldata))
 287     method dialog_action_area1 = dialog_action_area1
 288     val confirmationDialogCancelButton =
 289       new GButton.button (GtkButton.Button.cast
 290         (Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
 291     method confirmationDialogCancelButton = confirmationDialogCancelButton
 292     val confirmationDialogOkButton =
 293       new GButton.button (GtkButton.Button.cast
 294         (Glade.get_widget_msg ~name:"ConfirmationDialogOkButton" ~info:"GtkButton" xmldata))
 295     method confirmationDialogOkButton = confirmationDialogOkButton
 296     val confirmationDialogLabel =
 297       new GMisc.label (GtkMisc.Label.cast
 298         (Glade.get_widget_msg ~name:"ConfirmationDialogLabel" ~info:"GtkLabel" xmldata))
 299     method confirmationDialogLabel = confirmationDialogLabel
 300     method reparent parent =
 301       dialog_vbox1#misc#reparent parent;
 302       toplevel#destroy ()
 303     method check_widgets () = ()
 304   end
 305 class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 306   let xmldata = Glade.create ~file  ~root:"AboutWin" ?domain () in
 307   object (self)
 308     inherit Glade.xml ?autoconnect xmldata
 309     val toplevel =
 310       new GWindow.dialog_any (GtkWindow.Dialog.cast
 311         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
 312     method toplevel = toplevel
 313     val aboutWin =
 314       new GWindow.dialog_any (GtkWindow.Dialog.cast
 315         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
 316     method aboutWin = aboutWin
 317     val dialog_vbox2 =
 318       new GPack.box (GtkPack.Box.cast
 319         (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
 320     method dialog_vbox2 = dialog_vbox2
 321     val dialog_action_area2 =
 322       new GPack.button_box (GtkPack.BBox.cast
 323         (Glade.get_widget_msg ~name:"dialog-action_area2" ~info:"GtkHButtonBox" xmldata))
 324     method dialog_action_area2 = dialog_action_area2
 325     val aboutDismissButton =
 326       new GButton.button (GtkButton.Button.cast
 327         (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
 328     method aboutDismissButton = aboutDismissButton
 329     val aboutLabel =
 330       new GMisc.label (GtkMisc.Label.cast
 331         (Glade.get_widget_msg ~name:"AboutLabel" ~info:"GtkLabel" xmldata))
 332     method aboutLabel = aboutLabel
 333     method reparent parent =
 334       dialog_vbox2#misc#reparent parent;
 335       toplevel#destroy ()
 336     method check_widgets () = ()
 337   end
 338 class uriChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 339   let xmldata = Glade.create ~file  ~root:"UriChoiceDialog" ?domain () in
 340   object (self)
 341     inherit Glade.xml ?autoconnect xmldata
 342     val toplevel =
 343       new GWindow.dialog_any (GtkWindow.Dialog.cast
 344         (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
 345     method toplevel = toplevel
 346     val uriChoiceDialog =
 347       new GWindow.dialog_any (GtkWindow.Dialog.cast
 348         (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
 349     method uriChoiceDialog = uriChoiceDialog
 350     val dialog_vbox3 =
 351       new GPack.box (GtkPack.Box.cast
 352         (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
 353     method dialog_vbox3 = dialog_vbox3
 354     val dialog_action_area3 =
 355       new GPack.button_box (GtkPack.BBox.cast
 356         (Glade.get_widget_msg ~name:"dialog-action_area3" ~info:"GtkHButtonBox" xmldata))
 357     method dialog_action_area3 = dialog_action_area3
 358     val uriChoiceAbortButton =
 359       new GButton.button (GtkButton.Button.cast
 360         (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
 361     method uriChoiceAbortButton = uriChoiceAbortButton
 362     val uriChoiceSelectedButton =
 363       new GButton.button (GtkButton.Button.cast
 364         (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
 365     method uriChoiceSelectedButton = uriChoiceSelectedButton
 366     val alignment2 =
 367       new GBin.alignment (GtkBin.Alignment.cast
 368         (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
 369     method alignment2 = alignment2
 370     val hbox3 =
 371       new GPack.box (GtkPack.Box.cast
 372         (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
 373     method hbox3 = hbox3
 374     val image19 =
 375       new GMisc.image (GtkMisc.Image.cast
 376         (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
 377     method image19 = image19
 378     val label3 =
 379       new GMisc.label (GtkMisc.Label.cast
 380         (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
 381     method label3 = label3
 382     val uriChoiceConstantsButton =
 383       new GButton.button (GtkButton.Button.cast
 384         (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
 385     method uriChoiceConstantsButton = uriChoiceConstantsButton
 386     val uriChoiceAutoButton =
 387       new GButton.button (GtkButton.Button.cast
 388         (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
 389     method uriChoiceAutoButton = uriChoiceAutoButton
 390     val alignment1 =
 391       new GBin.alignment (GtkBin.Alignment.cast
 392         (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
 393     method alignment1 = alignment1
 394     val hbox1 =
 395       new GPack.box (GtkPack.Box.cast
 396         (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
 397     method hbox1 = hbox1
 398     val image18 =
 399       new GMisc.image (GtkMisc.Image.cast
 400         (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
 401     method image18 = image18
 402     val label1 =
 403       new GMisc.label (GtkMisc.Label.cast
 404         (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
 405     method label1 = label1
 406     val vbox2 =
 407       new GPack.box (GtkPack.Box.cast
 408         (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
 409     method vbox2 = vbox2
 410     val uriChoiceLabel =
 411       new GMisc.label (GtkMisc.Label.cast
 412         (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
 413     method uriChoiceLabel = uriChoiceLabel
 414     val scrolledwindow1 =
 415       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 416         (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
 417     method scrolledwindow1 = scrolledwindow1
 418     val uriChoiceTreeView =
 419       new GTree.view (GtkTree.TreeView.cast
 420         (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
 421     method uriChoiceTreeView = uriChoiceTreeView
 422     val hbox2 =
 423       new GPack.box (GtkPack.Box.cast
 424         (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
 425     method hbox2 = hbox2
 426     val label2 =
 427       new GMisc.label (GtkMisc.Label.cast
 428         (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
 429     method label2 = label2
 430     val entry1 =
 431       new GEdit.entry (GtkEdit.Entry.cast
 432         (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
 433     method entry1 = entry1
 434     method reparent parent =
 435       dialog_vbox3#misc#reparent parent;
 436       toplevel#destroy ()
 437     method check_widgets () = ()
 438   end
 439 class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 440   let xmldata = Glade.create ~file  ~root:"InterpChoiceDialog" ?domain () in
 441   object (self)
 442     inherit Glade.xml ?autoconnect xmldata
 443     val toplevel =
 444       new GWindow.dialog_any (GtkWindow.Dialog.cast
 445         (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
 446     method toplevel = toplevel
 447     val interpChoiceDialog =
 448       new GWindow.dialog_any (GtkWindow.Dialog.cast
 449         (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
 450     method interpChoiceDialog = interpChoiceDialog
 451     val dialog_vbox4 =
 452       new GPack.box (GtkPack.Box.cast
 453         (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
 454     method dialog_vbox4 = dialog_vbox4
 455     val dialog_action_area4 =
 456       new GPack.button_box (GtkPack.BBox.cast
 457         (Glade.get_widget_msg ~name:"dialog-action_area4" ~info:"GtkHButtonBox" xmldata))
 458     method dialog_action_area4 = dialog_action_area4
 459     val interpChoiceHelpButton =
 460       new GButton.button (GtkButton.Button.cast
 461         (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
 462     method interpChoiceHelpButton = interpChoiceHelpButton
 463     val interpChoiceCancelButton =
 464       new GButton.button (GtkButton.Button.cast
 465         (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
 466     method interpChoiceCancelButton = interpChoiceCancelButton
 467     val interpChoiceOkButton =
 468       new GButton.button (GtkButton.Button.cast
 469         (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
 470     method interpChoiceOkButton = interpChoiceOkButton
 471     val vbox3 =
 472       new GPack.box (GtkPack.Box.cast
 473         (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
 474     method vbox3 = vbox3
 475     val label6 =
 476       new GMisc.label (GtkMisc.Label.cast
 477         (Glade.get_widget_msg ~name:"label6" ~info:"GtkLabel" xmldata))
 478     method label6 = label6
 479     method reparent parent =
 480       dialog_vbox4#misc#reparent parent;
 481       toplevel#destroy ()
 482     method check_widgets () = ()
 483   end
 484 class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 485   let xmldata = Glade.create ~file  ~root:"EmptyDialog" ?domain () in
 486   object (self)
 487     inherit Glade.xml ?autoconnect xmldata
 488     val toplevel =
 489       new GWindow.dialog_any (GtkWindow.Dialog.cast
 490         (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
 491     method toplevel = toplevel
 492     val emptyDialog =
 493       new GWindow.dialog_any (GtkWindow.Dialog.cast
 494         (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
 495     method emptyDialog = emptyDialog
 496     val emptyDialogVBox =
 497       new GPack.box (GtkPack.Box.cast
 498         (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
 499     method emptyDialogVBox = emptyDialogVBox
 500     val dialog_action_area5 =
 501       new GPack.button_box (GtkPack.BBox.cast
 502         (Glade.get_widget_msg ~name:"dialog-action_area5" ~info:"GtkHButtonBox" xmldata))
 503     method dialog_action_area5 = dialog_action_area5
 504     val emptyDialogCancelButton =
 505       new GButton.button (GtkButton.Button.cast
 506         (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))
 507     method emptyDialogCancelButton = emptyDialogCancelButton
 508     val emptyDialogOkButton =
 509       new GButton.button (GtkButton.Button.cast
 510         (Glade.get_widget_msg ~name:"EmptyDialogOkButton" ~info:"GtkButton" xmldata))
 511     method emptyDialogOkButton = emptyDialogOkButton
 512     val emptyDialogLabel =
 513       new GMisc.label (GtkMisc.Label.cast
 514         (Glade.get_widget_msg ~name:"EmptyDialogLabel" ~info:"GtkLabel" xmldata))
 515     method emptyDialogLabel = emptyDialogLabel
 516     method reparent parent =
 517       emptyDialogVBox#misc#reparent parent;
 518       toplevel#destroy ()
 519     method check_widgets () = ()
 520   end
 521 class checkWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 522   let xmldata = Glade.create ~file  ~root:"CheckWin" ?domain () in
 523   object (self)
 524     inherit Glade.xml ?autoconnect xmldata
 525     val toplevel =
 526       new GWindow.window (GtkWindow.Window.cast
 527         (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
 528     method toplevel = toplevel
 529     val checkWin =
 530       new GWindow.window (GtkWindow.Window.cast
 531         (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
 532     method checkWin = checkWin
 533     val checkWinEventBox =
 534       new GBin.event_box (GtkBin.EventBox.cast
 535         (Glade.get_widget_msg ~name:"CheckWinEventBox" ~info:"GtkEventBox" xmldata))
 536     method checkWinEventBox = checkWinEventBox
 537     val scrolledCheck =
 538       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 539         (Glade.get_widget_msg ~name:"ScrolledCheck" ~info:"GtkScrolledWindow" xmldata))
 540     method scrolledCheck = scrolledCheck
 541     method reparent parent =
 542       checkWinEventBox#misc#reparent parent;
 543       toplevel#destroy ()
 544     method check_widgets () = ()
 545   end
 546 class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 547   let xmldata = Glade.create ~file  ~root:"ScriptWin" ?domain () in
 548   object (self)
 549     inherit Glade.xml ?autoconnect xmldata
 550     val toplevel =
 551       new GWindow.window (GtkWindow.Window.cast
 552         (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
 553     method toplevel = toplevel
 554     val scriptWin =
 555       new GWindow.window (GtkWindow.Window.cast
 556         (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
 557     method scriptWin = scriptWin
 558     val scriptWinEventBox =
 559       new GBin.event_box (GtkBin.EventBox.cast
 560         (Glade.get_widget_msg ~name:"ScriptWinEventBox" ~info:"GtkEventBox" xmldata))
 561     method scriptWinEventBox = scriptWinEventBox
 562     val vbox4 =
 563       new GPack.box (GtkPack.Box.cast
 564         (Glade.get_widget_msg ~name:"vbox4" ~info:"GtkVBox" xmldata))
 565     method vbox4 = vbox4
 566     val toolbar1 =
 567       new GButton.toolbar (GtkButton.Toolbar.cast
 568         (Glade.get_widget_msg ~name:"toolbar1" ~info:"GtkToolbar" xmldata))
 569     method toolbar1 = toolbar1
 570     val button5 =
 571       new GButton.button (GtkButton.Button.cast
 572         (Glade.get_widget_msg ~name:"button5" ~info:"GtkButton" xmldata))
 573     method button5 = button5
 574     val image133 =
 575       new GMisc.image (GtkMisc.Image.cast
 576         (Glade.get_widget_msg ~name:"image133" ~info:"GtkImage" xmldata))
 577     method image133 = image133
 578     val button6 =
 579       new GButton.button (GtkButton.Button.cast
 580         (Glade.get_widget_msg ~name:"button6" ~info:"GtkButton" xmldata))
 581     method button6 = button6
 582     val image134 =
 583       new GMisc.image (GtkMisc.Image.cast
 584         (Glade.get_widget_msg ~name:"image134" ~info:"GtkImage" xmldata))
 585     method image134 = image134
 586     val button7 =
 587       new GButton.button (GtkButton.Button.cast
 588         (Glade.get_widget_msg ~name:"button7" ~info:"GtkButton" xmldata))
 589     method button7 = button7
 590     val image135 =
 591       new GMisc.image (GtkMisc.Image.cast
 592         (Glade.get_widget_msg ~name:"image135" ~info:"GtkImage" xmldata))
 593     method image135 = image135
 594     val scrolledScript =
 595       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 596         (Glade.get_widget_msg ~name:"ScrolledScript" ~info:"GtkScrolledWindow" xmldata))
 597     method scrolledScript = scrolledScript
 598     val scriptTextView =
 599       new GText.view (GtkText.View.cast
 600         (Glade.get_widget_msg ~name:"ScriptTextView" ~info:"GtkTextView" xmldata))
 601     method scriptTextView = scriptTextView
 602     method reparent parent =
 603       scriptWinEventBox#misc#reparent parent;
 604       toplevel#destroy ()
 605     method check_widgets () = ()
 606   end
 607
 608 let check_all ?(show=false) () =
 609   ignore (GMain.Main.init ());
 610   let scriptWin = new scriptWin () in
 611   if show then scriptWin#toplevel#show ();
 612   scriptWin#check_widgets ();
 613   let checkWin = new checkWin () in
 614   if show then checkWin#toplevel#show ();
 615   checkWin#check_widgets ();
 616   let emptyDialog = new emptyDialog () in
 617   if show then emptyDialog#toplevel#show ();
 618   emptyDialog#check_widgets ();
 619   let interpChoiceDialog = new interpChoiceDialog () in
 620   if show then interpChoiceDialog#toplevel#show ();
 621   interpChoiceDialog#check_widgets ();
 622   let uriChoiceDialog = new uriChoiceDialog () in
 623   if show then uriChoiceDialog#toplevel#show ();
 624   uriChoiceDialog#check_widgets ();
 625   let aboutWin = new aboutWin () in
 626   if show then aboutWin#toplevel#show ();
 627   aboutWin#check_widgets ();
 628   let confirmationDialog = new confirmationDialog () in
 629   if show then confirmationDialog#toplevel#show ();
 630   confirmationDialog#check_widgets ();
 631   let toolBarWin = new toolBarWin () in
 632   if show then toolBarWin#toplevel#show ();
 633   toolBarWin#check_widgets ();
 634   let fileSelectionWin = new fileSelectionWin () in
 635   if show then fileSelectionWin#toplevel#show ();
 636   fileSelectionWin#check_widgets ();
 637   let proofWin = new proofWin () in
 638   if show then proofWin#toplevel#show ();
 639   proofWin#check_widgets ();
 640   let mainWin = new mainWin () in
 641   if show then mainWin#toplevel#show ();
 642   mainWin#check_widgets ();
 643   if show then GMain.Main.main ()
 644 ;;