helm/matita/matitaGeneratedGui.ml

   1 (* Automatically generated from matita.glade by lablgladecc *)
   2
   3 class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
   4   let xmldata = Glade.create ~file  ~root:"AboutWin" ?domain () in
   5   object (self)
   6     inherit Glade.xml ?autoconnect xmldata
   7     val toplevel =
   8       new GWindow.dialog_any (GtkWindow.Dialog.cast
   9         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
  10     method toplevel = toplevel
  11     val aboutWin =
  12       new GWindow.dialog_any (GtkWindow.Dialog.cast
  13         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
  14     method aboutWin = aboutWin
  15     val dialog_vbox2 =
  16       new GPack.box (GtkPack.Box.cast
  17         (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
  18     method dialog_vbox2 = dialog_vbox2
  19     val dialog_action_area2 =
  20       new GPack.button_box (GtkPack.BBox.cast
  21         (Glade.get_widget_msg ~name:"dialog-action_area2" ~info:"GtkHButtonBox" xmldata))
  22     method dialog_action_area2 = dialog_action_area2
  23     val aboutDismissButton =
  24       new GButton.button (GtkButton.Button.cast
  25         (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
  26     method aboutDismissButton = aboutDismissButton
  27     val aboutLabel =
  28       new GMisc.label (GtkMisc.Label.cast
  29         (Glade.get_widget_msg ~name:"AboutLabel" ~info:"GtkLabel" xmldata))
  30     method aboutLabel = aboutLabel
  31     method reparent parent =
  32       dialog_vbox2#misc#reparent parent;
  33       toplevel#destroy ()
  34     method check_widgets () = ()
  35   end
  36 class browserWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
  37   let xmldata = Glade.create ~file  ~root:"BrowserWin" ?domain () in
  38   object (self)
  39     inherit Glade.xml ?autoconnect xmldata
  40     val toplevel =
  41       new GWindow.window (GtkWindow.Window.cast
  42         (Glade.get_widget_msg ~name:"BrowserWin" ~info:"GtkWindow" xmldata))
  43     method toplevel = toplevel
  44     val browserWin =
  45       new GWindow.window (GtkWindow.Window.cast
  46         (Glade.get_widget_msg ~name:"BrowserWin" ~info:"GtkWindow" xmldata))
  47     method browserWin = browserWin
  48     val browserWinEventBox =
  49       new GBin.event_box (GtkBin.EventBox.cast
  50         (Glade.get_widget_msg ~name:"BrowserWinEventBox" ~info:"GtkEventBox" xmldata))
  51     method browserWinEventBox = browserWinEventBox
  52     val browserVBox =
  53       new GPack.box (GtkPack.Box.cast
  54         (Glade.get_widget_msg ~name:"BrowserVBox" ~info:"GtkVBox" xmldata))
  55     method browserVBox = browserVBox
  56     val handlebox1 =
  57       new GBin.handle_box (GtkBin.HandleBox.cast
  58         (Glade.get_widget_msg ~name:"handlebox1" ~info:"GtkHandleBox" xmldata))
  59     method handlebox1 = handlebox1
  60     val hbox7 =
  61       new GPack.box (GtkPack.Box.cast
  62         (Glade.get_widget_msg ~name:"hbox7" ~info:"GtkHBox" xmldata))
  63     method hbox7 = hbox7
  64     val browserNewButton =
  65       new GButton.button (GtkButton.Button.cast
  66         (Glade.get_widget_msg ~name:"BrowserNewButton" ~info:"GtkButton" xmldata))
  67     method browserNewButton = browserNewButton
  68     val image191 =
  69       new GMisc.image (GtkMisc.Image.cast
  70         (Glade.get_widget_msg ~name:"image191" ~info:"GtkImage" xmldata))
  71     method image191 = image191
  72     val browserBackButton =
  73       new GButton.button (GtkButton.Button.cast
  74         (Glade.get_widget_msg ~name:"BrowserBackButton" ~info:"GtkButton" xmldata))
  75     method browserBackButton = browserBackButton
  76     val alignment3 =
  77       new GBin.alignment (GtkBin.Alignment.cast
  78         (Glade.get_widget_msg ~name:"alignment3" ~info:"GtkAlignment" xmldata))
  79     method alignment3 = alignment3
  80     val hbox6 =
  81       new GPack.box (GtkPack.Box.cast
  82         (Glade.get_widget_msg ~name:"hbox6" ~info:"GtkHBox" xmldata))
  83     method hbox6 = hbox6
  84     val image188 =
  85       new GMisc.image (GtkMisc.Image.cast
  86         (Glade.get_widget_msg ~name:"image188" ~info:"GtkImage" xmldata))
  87     method image188 = image188
  88     val label10 =
  89       new GMisc.label (GtkMisc.Label.cast
  90         (Glade.get_widget_msg ~name:"label10" ~info:"GtkLabel" xmldata))
  91     method label10 = label10
  92     val browserForwardButton =
  93       new GButton.button (GtkButton.Button.cast
  94         (Glade.get_widget_msg ~name:"BrowserForwardButton" ~info:"GtkButton" xmldata))
  95     method browserForwardButton = browserForwardButton
  96     val image189 =
  97       new GMisc.image (GtkMisc.Image.cast
  98         (Glade.get_widget_msg ~name:"image189" ~info:"GtkImage" xmldata))
  99     method image189 = image189
 100     val browserRefreshButton =
 101       new GButton.button (GtkButton.Button.cast
 102         (Glade.get_widget_msg ~name:"BrowserRefreshButton" ~info:"GtkButton" xmldata))
 103     method browserRefreshButton = browserRefreshButton
 104     val image229 =
 105       new GMisc.image (GtkMisc.Image.cast
 106         (Glade.get_widget_msg ~name:"image229" ~info:"GtkImage" xmldata))
 107     method image229 = image229
 108     val browserHomeButton =
 109       new GButton.button (GtkButton.Button.cast
 110         (Glade.get_widget_msg ~name:"BrowserHomeButton" ~info:"GtkButton" xmldata))
 111     method browserHomeButton = browserHomeButton
 112     val image190 =
 113       new GMisc.image (GtkMisc.Image.cast
 114         (Glade.get_widget_msg ~name:"image190" ~info:"GtkImage" xmldata))
 115     method image190 = image190
 116     val image187 =
 117       new GMisc.image (GtkMisc.Image.cast
 118         (Glade.get_widget_msg ~name:"image187" ~info:"GtkImage" xmldata))
 119     method image187 = image187
 120     val browserUri =
 121       new GEdit.entry (GtkEdit.Entry.cast
 122         (Glade.get_widget_msg ~name:"BrowserUri" ~info:"GtkEntry" xmldata))
 123     method browserUri = browserUri
 124     val frame1 =
 125       new GBin.frame (GtkBin.Frame.cast
 126         (Glade.get_widget_msg ~name:"frame1" ~info:"GtkFrame" xmldata))
 127     method frame1 = frame1
 128     val scrolledBrowser =
 129       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 130         (Glade.get_widget_msg ~name:"ScrolledBrowser" ~info:"GtkScrolledWindow" xmldata))
 131     method scrolledBrowser = scrolledBrowser
 132     method reparent parent =
 133       browserWinEventBox#misc#reparent parent;
 134       toplevel#destroy ()
 135     method check_widgets () = ()
 136   end
 137 class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 138   let xmldata = Glade.create ~file  ~root:"ConfirmationDialog" ?domain () in
 139   object (self)
 140     inherit Glade.xml ?autoconnect xmldata
 141     val toplevel =
 142       new GWindow.dialog_any (GtkWindow.Dialog.cast
 143         (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
 144     method toplevel = toplevel
 145     val confirmationDialog =
 146       new GWindow.dialog_any (GtkWindow.Dialog.cast
 147         (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
 148     method confirmationDialog = confirmationDialog
 149     val dialog_vbox1 =
 150       new GPack.box (GtkPack.Box.cast
 151         (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
 152     method dialog_vbox1 = dialog_vbox1
 153     val dialog_action_area1 =
 154       new GPack.button_box (GtkPack.BBox.cast
 155         (Glade.get_widget_msg ~name:"dialog-action_area1" ~info:"GtkHButtonBox" xmldata))
 156     method dialog_action_area1 = dialog_action_area1
 157     val confirmationDialogCancelButton =
 158       new GButton.button (GtkButton.Button.cast
 159         (Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
 160     method confirmationDialogCancelButton = confirmationDialogCancelButton
 161     val confirmationDialogOkButton =
 162       new GButton.button (GtkButton.Button.cast
 163         (Glade.get_widget_msg ~name:"ConfirmationDialogOkButton" ~info:"GtkButton" xmldata))
 164     method confirmationDialogOkButton = confirmationDialogOkButton
 165     val confirmationDialogLabel =
 166       new GMisc.label (GtkMisc.Label.cast
 167         (Glade.get_widget_msg ~name:"ConfirmationDialogLabel" ~info:"GtkLabel" xmldata))
 168     method confirmationDialogLabel = confirmationDialogLabel
 169     method reparent parent =
 170       dialog_vbox1#misc#reparent parent;
 171       toplevel#destroy ()
 172     method check_widgets () = ()
 173   end
 174 class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 175   let xmldata = Glade.create ~file  ~root:"EmptyDialog" ?domain () in
 176   object (self)
 177     inherit Glade.xml ?autoconnect xmldata
 178     val toplevel =
 179       new GWindow.dialog_any (GtkWindow.Dialog.cast
 180         (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
 181     method toplevel = toplevel
 182     val emptyDialog =
 183       new GWindow.dialog_any (GtkWindow.Dialog.cast
 184         (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
 185     method emptyDialog = emptyDialog
 186     val emptyDialogVBox =
 187       new GPack.box (GtkPack.Box.cast
 188         (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
 189     method emptyDialogVBox = emptyDialogVBox
 190     val dialog_action_area5 =
 191       new GPack.button_box (GtkPack.BBox.cast
 192         (Glade.get_widget_msg ~name:"dialog-action_area5" ~info:"GtkHButtonBox" xmldata))
 193     method dialog_action_area5 = dialog_action_area5
 194     val emptyDialogCancelButton =
 195       new GButton.button (GtkButton.Button.cast
 196         (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))
 197     method emptyDialogCancelButton = emptyDialogCancelButton
 198     val emptyDialogOkButton =
 199       new GButton.button (GtkButton.Button.cast
 200         (Glade.get_widget_msg ~name:"EmptyDialogOkButton" ~info:"GtkButton" xmldata))
 201     method emptyDialogOkButton = emptyDialogOkButton
 202     val emptyDialogLabel =
 203       new GMisc.label (GtkMisc.Label.cast
 204         (Glade.get_widget_msg ~name:"EmptyDialogLabel" ~info:"GtkLabel" xmldata))
 205     method emptyDialogLabel = emptyDialogLabel
 206     method reparent parent =
 207       emptyDialogVBox#misc#reparent parent;
 208       toplevel#destroy ()
 209     method check_widgets () = ()
 210   end
 211 class fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 212   let xmldata = Glade.create ~file  ~root:"FileSelectionWin" ?domain () in
 213   object (self)
 214     inherit Glade.xml ?autoconnect xmldata
 215     val toplevel =
 216       new GWindow.file_selection (GtkWindow.FileSelection.cast
 217         (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
 218     method toplevel = toplevel
 219     val fileSelectionWin =
 220       new GWindow.file_selection (GtkWindow.FileSelection.cast
 221         (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
 222     method fileSelectionWin = fileSelectionWin
 223     val fileSelCancelButton =
 224       new GButton.button (GtkButton.Button.cast
 225         (Glade.get_widget_msg ~name:"fileSelCancelButton" ~info:"GtkButton" xmldata))
 226     method fileSelCancelButton = fileSelCancelButton
 227     val fileSelOkButton =
 228       new GButton.button (GtkButton.Button.cast
 229         (Glade.get_widget_msg ~name:"fileSelOkButton" ~info:"GtkButton" xmldata))
 230     method fileSelOkButton = fileSelOkButton
 231     method check_widgets () = ()
 232   end
 233 class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 234   let xmldata = Glade.create ~file  ~root:"InterpChoiceDialog" ?domain () in
 235   object (self)
 236     inherit Glade.xml ?autoconnect xmldata
 237     val toplevel =
 238       new GWindow.dialog_any (GtkWindow.Dialog.cast
 239         (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
 240     method toplevel = toplevel
 241     val interpChoiceDialog =
 242       new GWindow.dialog_any (GtkWindow.Dialog.cast
 243         (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
 244     method interpChoiceDialog = interpChoiceDialog
 245     val dialog_vbox4 =
 246       new GPack.box (GtkPack.Box.cast
 247         (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
 248     method dialog_vbox4 = dialog_vbox4
 249     val dialog_action_area4 =
 250       new GPack.button_box (GtkPack.BBox.cast
 251         (Glade.get_widget_msg ~name:"dialog-action_area4" ~info:"GtkHButtonBox" xmldata))
 252     method dialog_action_area4 = dialog_action_area4
 253     val interpChoiceHelpButton =
 254       new GButton.button (GtkButton.Button.cast
 255         (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
 256     method interpChoiceHelpButton = interpChoiceHelpButton
 257     val interpChoiceCancelButton =
 258       new GButton.button (GtkButton.Button.cast
 259         (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
 260     method interpChoiceCancelButton = interpChoiceCancelButton
 261     val interpChoiceOkButton =
 262       new GButton.button (GtkButton.Button.cast
 263         (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
 264     method interpChoiceOkButton = interpChoiceOkButton
 265     val vbox3 =
 266       new GPack.box (GtkPack.Box.cast
 267         (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
 268     method vbox3 = vbox3
 269     val interpChoiceDialogLabel =
 270       new GMisc.label (GtkMisc.Label.cast
 271         (Glade.get_widget_msg ~name:"InterpChoiceDialogLabel" ~info:"GtkLabel" xmldata))
 272     method interpChoiceDialogLabel = interpChoiceDialogLabel
 273     val scrolledwindow4 =
 274       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 275         (Glade.get_widget_msg ~name:"scrolledwindow4" ~info:"GtkScrolledWindow" xmldata))
 276     method scrolledwindow4 = scrolledwindow4
 277     val interpChoiceTreeView =
 278       new GTree.view (GtkTree.TreeView.cast
 279         (Glade.get_widget_msg ~name:"InterpChoiceTreeView" ~info:"GtkTreeView" xmldata))
 280     method interpChoiceTreeView = interpChoiceTreeView
 281     method reparent parent =
 282       dialog_vbox4#misc#reparent parent;
 283       toplevel#destroy ()
 284     method check_widgets () = ()
 285   end
 286 class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 287   let xmldata = Glade.create ~file  ~root:"MainWin" ?domain () in
 288   object (self)
 289     inherit Glade.xml ?autoconnect xmldata
 290     val toplevel =
 291       new GWindow.window (GtkWindow.Window.cast
 292         (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
 293     method toplevel = toplevel
 294     val mainWin =
 295       new GWindow.window (GtkWindow.Window.cast
 296         (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
 297     method mainWin = mainWin
 298     val mainWinEventBox =
 299       new GBin.event_box (GtkBin.EventBox.cast
 300         (Glade.get_widget_msg ~name:"MainWinEventBox" ~info:"GtkEventBox" xmldata))
 301     method mainWinEventBox = mainWinEventBox
 302     val mainWinShape =
 303       new GPack.box (GtkPack.Box.cast
 304         (Glade.get_widget_msg ~name:"MainWinShape" ~info:"GtkVBox" xmldata))
 305     method mainWinShape = mainWinShape
 306     val mainMenuBar =
 307       new GMenu.menu_shell (GtkMenu.MenuBar.cast
 308         (Glade.get_widget_msg ~name:"MainMenuBar" ~info:"GtkMenuBar" xmldata))
 309     method mainMenuBar = mainMenuBar
 310     val fileMenu =
 311       new GMenu.menu_item (GtkMenu.MenuItem.cast
 312         (Glade.get_widget_msg ~name:"FileMenu" ~info:"GtkMenuItem" xmldata))
 313     method fileMenu = fileMenu
 314     val fileMenu_menu =
 315       new GMenu.menu (GtkMenu.Menu.cast
 316         (Glade.get_widget_msg ~name:"FileMenu_menu" ~info:"GtkMenu" xmldata))
 317     method fileMenu_menu = fileMenu_menu
 318     val newMenu =
 319       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
 320         (Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
 321     method newMenu = newMenu
 322     val image224 =
 323       new GMisc.image (GtkMisc.Image.cast
 324         (Glade.get_widget_msg ~name:"image224" ~info:"GtkImage" xmldata))
 325     method image224 = image224
 326     val newMenu_menu =
 327       new GMenu.menu (GtkMenu.Menu.cast
 328         (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata))
 329     method newMenu_menu = newMenu_menu
 330     val newProofMenuItem =
 331       new GMenu.menu_item (GtkMenu.MenuItem.cast
 332         (Glade.get_widget_msg ~name:"NewProofMenuItem" ~info:"GtkMenuItem" xmldata))
 333     method newProofMenuItem = newProofMenuItem
 334     val newDefsMenuItem =
 335       new GMenu.menu_item (GtkMenu.MenuItem.cast
 336         (Glade.get_widget_msg ~name:"NewDefsMenuItem" ~info:"GtkMenuItem" xmldata))
 337     method newDefsMenuItem = newDefsMenuItem
 338     val openMenuItem =
 339       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
 340         (Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata))
 341     method openMenuItem = openMenuItem
 342     val image225 =
 343       new GMisc.image (GtkMisc.Image.cast
 344         (Glade.get_widget_msg ~name:"image225" ~info:"GtkImage" xmldata))
 345     method image225 = image225
 346     val saveMenuItem =
 347       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
 348         (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
 349     method saveMenuItem = saveMenuItem
 350     val image226 =
 351       new GMisc.image (GtkMisc.Image.cast
 352         (Glade.get_widget_msg ~name:"image226" ~info:"GtkImage" xmldata))
 353     method image226 = image226
 354     val saveAsMenuItem =
 355       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
 356         (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
 357     method saveAsMenuItem = saveAsMenuItem
 358     val image227 =
 359       new GMisc.image (GtkMisc.Image.cast
 360         (Glade.get_widget_msg ~name:"image227" ~info:"GtkImage" xmldata))
 361     method image227 = image227
 362     val separator1 =
 363       new GMenu.menu_item (GtkMenu.MenuItem.cast
 364         (Glade.get_widget_msg ~name:"separator1" ~info:"GtkSeparatorMenuItem" xmldata))
 365     method separator1 = separator1
 366     val quitMenuItem =
 367       new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
 368         (Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
 369     method quitMenuItem = quitMenuItem
 370     val image228 =
 371       new GMisc.image (GtkMisc.Image.cast
 372         (Glade.get_widget_msg ~name:"image228" ~info:"GtkImage" xmldata))
 373     method image228 = image228
 374     val editMenu =
 375       new GMenu.menu_item (GtkMenu.MenuItem.cast
 376         (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
 377     method editMenu = editMenu
 378     val viewMenu =
 379       new GMenu.menu_item (GtkMenu.MenuItem.cast
 380         (Glade.get_widget_msg ~name:"ViewMenu" ~info:"GtkMenuItem" xmldata))
 381     method viewMenu = viewMenu
 382     val viewMenu_menu =
 383       new GMenu.menu (GtkMenu.Menu.cast
 384         (Glade.get_widget_msg ~name:"ViewMenu_menu" ~info:"GtkMenu" xmldata))
 385     method viewMenu_menu = viewMenu_menu
 386     val showToolBarMenuItem =
 387       new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
 388         (Glade.get_widget_msg ~name:"ShowToolBarMenuItem" ~info:"GtkCheckMenuItem" xmldata))
 389     method showToolBarMenuItem = showToolBarMenuItem
 390     val newCicBrowserMenuItem =
 391       new GMenu.menu_item (GtkMenu.MenuItem.cast
 392         (Glade.get_widget_msg ~name:"NewCicBrowserMenuItem" ~info:"GtkMenuItem" xmldata))
 393     method newCicBrowserMenuItem = newCicBrowserMenuItem
 394     val showScriptMenuItem =
 395       new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
 396         (Glade.get_widget_msg ~name:"ShowScriptMenuItem" ~info:"GtkCheckMenuItem" xmldata))
 397     method showScriptMenuItem = showScriptMenuItem
 398     val separator3 =
 399       new GMenu.menu_item (GtkMenu.MenuItem.cast
 400         (Glade.get_widget_msg ~name:"separator3" ~info:"GtkSeparatorMenuItem" xmldata))
 401     method separator3 = separator3
 402     val showConsoleMenuItem =
 403       new GMenu.menu_item (GtkMenu.MenuItem.cast
 404         (Glade.get_widget_msg ~name:"ShowConsoleMenuItem" ~info:"GtkMenuItem" xmldata))
 405     method showConsoleMenuItem = showConsoleMenuItem
 406     val debugMenu =
 407       new GMenu.menu_item (GtkMenu.MenuItem.cast
 408         (Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata))
 409     method debugMenu = debugMenu
 410     val debugMenu_menu =
 411       new GMenu.menu (GtkMenu.Menu.cast
 412         (Glade.get_widget_msg ~name:"DebugMenu_menu" ~info:"GtkMenu" xmldata))
 413     method debugMenu_menu = debugMenu_menu
 414     val separator2 =
 415       new GMenu.menu_item (GtkMenu.MenuItem.cast
 416         (Glade.get_widget_msg ~name:"separator2" ~info:"GtkSeparatorMenuItem" xmldata))
 417     method separator2 = separator2
 418     val helpMenu =
 419       new GMenu.menu_item (GtkMenu.MenuItem.cast
 420         (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
 421     method helpMenu = helpMenu
 422     val helpMenu_menu =
 423       new GMenu.menu (GtkMenu.Menu.cast
 424         (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
 425     method helpMenu_menu = helpMenu_menu
 426     val aboutMenuItem =
 427       new GMenu.menu_item (GtkMenu.MenuItem.cast
 428         (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
 429     method aboutMenuItem = aboutMenuItem
 430     val mainVPanes =
 431       new GPack.paned (GtkPack.Paned.cast
 432         (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
 433     method mainVPanes = mainVPanes
 434     val sequentsNotebook =
 435       new GPack.notebook (GtkPack.Notebook.cast
 436         (Glade.get_widget_msg ~name:"SequentsNotebook" ~info:"GtkNotebook" xmldata))
 437     method sequentsNotebook = sequentsNotebook
 438     val consoleEventBox =
 439       new GBin.event_box (GtkBin.EventBox.cast
 440         (Glade.get_widget_msg ~name:"ConsoleEventBox" ~info:"GtkEventBox" xmldata))
 441     method consoleEventBox = consoleEventBox
 442     val consoleHBox =
 443       new GPack.box (GtkPack.Box.cast
 444         (Glade.get_widget_msg ~name:"ConsoleHBox" ~info:"GtkHBox" xmldata))
 445     method consoleHBox = consoleHBox
 446     val vbox6 =
 447       new GPack.box (GtkPack.Box.cast
 448         (Glade.get_widget_msg ~name:"vbox6" ~info:"GtkVBox" xmldata))
 449     method vbox6 = vbox6
 450     val hideConsoleButton =
 451       new GButton.button (GtkButton.Button.cast
 452         (Glade.get_widget_msg ~name:"HideConsoleButton" ~info:"GtkButton" xmldata))
 453     method hideConsoleButton = hideConsoleButton
 454     val image169 =
 455       new GMisc.image (GtkMisc.Image.cast
 456         (Glade.get_widget_msg ~name:"image169" ~info:"GtkImage" xmldata))
 457     method image169 = image169
 458     val scrolledConsole =
 459       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 460         (Glade.get_widget_msg ~name:"ScrolledConsole" ~info:"GtkScrolledWindow" xmldata))
 461     method scrolledConsole = scrolledConsole
 462     val mainStatusBar =
 463       new GMisc.statusbar (GtkMisc.Statusbar.cast
 464         (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
 465     method mainStatusBar = mainStatusBar
 466     method reparent parent =
 467       mainWinEventBox#misc#reparent parent;
 468       toplevel#destroy ()
 469     method check_widgets () = ()
 470   end
 471 class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 472   let xmldata = Glade.create ~file  ~root:"ScriptWin" ?domain () in
 473   object (self)
 474     inherit Glade.xml ?autoconnect xmldata
 475     val toplevel =
 476       new GWindow.window (GtkWindow.Window.cast
 477         (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
 478     method toplevel = toplevel
 479     val scriptWin =
 480       new GWindow.window (GtkWindow.Window.cast
 481         (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
 482     method scriptWin = scriptWin
 483     val scriptWinEventBox =
 484       new GBin.event_box (GtkBin.EventBox.cast
 485         (Glade.get_widget_msg ~name:"ScriptWinEventBox" ~info:"GtkEventBox" xmldata))
 486     method scriptWinEventBox = scriptWinEventBox
 487     val vbox7 =
 488       new GPack.box (GtkPack.Box.cast
 489         (Glade.get_widget_msg ~name:"vbox7" ~info:"GtkVBox" xmldata))
 490     method vbox7 = vbox7
 491     val handlebox2 =
 492       new GBin.handle_box (GtkBin.HandleBox.cast
 493         (Glade.get_widget_msg ~name:"handlebox2" ~info:"GtkHandleBox" xmldata))
 494     method handlebox2 = handlebox2
 495     val hbox8 =
 496       new GPack.box (GtkPack.Box.cast
 497         (Glade.get_widget_msg ~name:"hbox8" ~info:"GtkHBox" xmldata))
 498     method hbox8 = hbox8
 499     val scriptWinTopButton =
 500       new GButton.button (GtkButton.Button.cast
 501         (Glade.get_widget_msg ~name:"ScriptWinTopButton" ~info:"GtkButton" xmldata))
 502     method scriptWinTopButton = scriptWinTopButton
 503     val image235 =
 504       new GMisc.image (GtkMisc.Image.cast
 505         (Glade.get_widget_msg ~name:"image235" ~info:"GtkImage" xmldata))
 506     method image235 = image235
 507     val scriptWinBackButton =
 508       new GButton.button (GtkButton.Button.cast
 509         (Glade.get_widget_msg ~name:"ScriptWinBackButton" ~info:"GtkButton" xmldata))
 510     method scriptWinBackButton = scriptWinBackButton
 511     val image237 =
 512       new GMisc.image (GtkMisc.Image.cast
 513         (Glade.get_widget_msg ~name:"image237" ~info:"GtkImage" xmldata))
 514     method image237 = image237
 515     val scriptWinJumpButton =
 516       new GButton.button (GtkButton.Button.cast
 517         (Glade.get_widget_msg ~name:"ScriptWinJumpButton" ~info:"GtkButton" xmldata))
 518     method scriptWinJumpButton = scriptWinJumpButton
 519     val image134 =
 520       new GMisc.image (GtkMisc.Image.cast
 521         (Glade.get_widget_msg ~name:"image134" ~info:"GtkImage" xmldata))
 522     method image134 = image134
 523     val scriptWinForwardButton =
 524       new GButton.button (GtkButton.Button.cast
 525         (Glade.get_widget_msg ~name:"ScriptWinForwardButton" ~info:"GtkButton" xmldata))
 526     method scriptWinForwardButton = scriptWinForwardButton
 527     val image239 =
 528       new GMisc.image (GtkMisc.Image.cast
 529         (Glade.get_widget_msg ~name:"image239" ~info:"GtkImage" xmldata))
 530     method image239 = image239
 531     val scriptWinBottomButton =
 532       new GButton.button (GtkButton.Button.cast
 533         (Glade.get_widget_msg ~name:"ScriptWinBottomButton" ~info:"GtkButton" xmldata))
 534     method scriptWinBottomButton = scriptWinBottomButton
 535     val image238 =
 536       new GMisc.image (GtkMisc.Image.cast
 537         (Glade.get_widget_msg ~name:"image238" ~info:"GtkImage" xmldata))
 538     method image238 = image238
 539     val scriptNotebook =
 540       new GPack.notebook (GtkPack.Notebook.cast
 541         (Glade.get_widget_msg ~name:"ScriptNotebook" ~info:"GtkNotebook" xmldata))
 542     method scriptNotebook = scriptNotebook
 543     val scrolledScript =
 544       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 545         (Glade.get_widget_msg ~name:"ScrolledScript" ~info:"GtkScrolledWindow" xmldata))
 546     method scrolledScript = scrolledScript
 547     val scriptTextView =
 548       new GText.view (GtkText.View.cast
 549         (Glade.get_widget_msg ~name:"ScriptTextView" ~info:"GtkTextView" xmldata))
 550     method scriptTextView = scriptTextView
 551     val label7 =
 552       new GMisc.label (GtkMisc.Label.cast
 553         (Glade.get_widget_msg ~name:"label7" ~info:"GtkLabel" xmldata))
 554     method label7 = label7
 555     val scrolledOutline =
 556       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 557         (Glade.get_widget_msg ~name:"ScrolledOutline" ~info:"GtkScrolledWindow" xmldata))
 558     method scrolledOutline = scrolledOutline
 559     val outlineTreeView =
 560       new GTree.view (GtkTree.TreeView.cast
 561         (Glade.get_widget_msg ~name:"OutlineTreeView" ~info:"GtkTreeView" xmldata))
 562     method outlineTreeView = outlineTreeView
 563     val label8 =
 564       new GMisc.label (GtkMisc.Label.cast
 565         (Glade.get_widget_msg ~name:"label8" ~info:"GtkLabel" xmldata))
 566     method label8 = label8
 567     method reparent parent =
 568       scriptWinEventBox#misc#reparent parent;
 569       toplevel#destroy ()
 570     method check_widgets () = ()
 571   end
 572 class textDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 573   let xmldata = Glade.create ~file  ~root:"TextDialog" ?domain () in
 574   object (self)
 575     inherit Glade.xml ?autoconnect xmldata
 576     val toplevel =
 577       new GWindow.dialog_any (GtkWindow.Dialog.cast
 578         (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
 579     method toplevel = toplevel
 580     val textDialog =
 581       new GWindow.dialog_any (GtkWindow.Dialog.cast
 582         (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
 583     method textDialog = textDialog
 584     val vbox5 =
 585       new GPack.box (GtkPack.Box.cast
 586         (Glade.get_widget_msg ~name:"vbox5" ~info:"GtkVBox" xmldata))
 587     method vbox5 = vbox5
 588     val hbuttonbox1 =
 589       new GPack.button_box (GtkPack.BBox.cast
 590         (Glade.get_widget_msg ~name:"hbuttonbox1" ~info:"GtkHButtonBox" xmldata))
 591     method hbuttonbox1 = hbuttonbox1
 592     val textDialogCancelButton =
 593       new GButton.button (GtkButton.Button.cast
 594         (Glade.get_widget_msg ~name:"TextDialogCancelButton" ~info:"GtkButton" xmldata))
 595     method textDialogCancelButton = textDialogCancelButton
 596     val textDialogOkButton =
 597       new GButton.button (GtkButton.Button.cast
 598         (Glade.get_widget_msg ~name:"TextDialogOkButton" ~info:"GtkButton" xmldata))
 599     method textDialogOkButton = textDialogOkButton
 600     val textDialogLabel =
 601       new GMisc.label (GtkMisc.Label.cast
 602         (Glade.get_widget_msg ~name:"TextDialogLabel" ~info:"GtkLabel" xmldata))
 603     method textDialogLabel = textDialogLabel
 604     val scrolledwindow2 =
 605       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 606         (Glade.get_widget_msg ~name:"scrolledwindow2" ~info:"GtkScrolledWindow" xmldata))
 607     method scrolledwindow2 = scrolledwindow2
 608     val textDialogTextView =
 609       new GText.view (GtkText.View.cast
 610         (Glade.get_widget_msg ~name:"TextDialogTextView" ~info:"GtkTextView" xmldata))
 611     method textDialogTextView = textDialogTextView
 612     method reparent parent =
 613       vbox5#misc#reparent parent;
 614       toplevel#destroy ()
 615     method check_widgets () = ()
 616   end
 617 class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 618   let xmldata = Glade.create ~file  ~root:"ToolBarWin" ?domain () in
 619   object (self)
 620     inherit Glade.xml ?autoconnect xmldata
 621     val toplevel =
 622       new GWindow.window (GtkWindow.Window.cast
 623         (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
 624     method toplevel = toplevel
 625     val toolBarWin =
 626       new GWindow.window (GtkWindow.Window.cast
 627         (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
 628     method toolBarWin = toolBarWin
 629     val toolBarEventBox =
 630       new GBin.event_box (GtkBin.EventBox.cast
 631         (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
 632     method toolBarEventBox = toolBarEventBox
 633     val toolBarVBox =
 634       new GPack.box (GtkPack.Box.cast
 635         (Glade.get_widget_msg ~name:"ToolBarVBox" ~info:"GtkVBox" xmldata))
 636     method toolBarVBox = toolBarVBox
 637     val toolbar2 =
 638       new GButton.toolbar (GtkButton.Toolbar.cast
 639         (Glade.get_widget_msg ~name:"toolbar2" ~info:"GtkToolbar" xmldata))
 640     method toolbar2 = toolbar2
 641     val introsButton =
 642       new GButton.button (GtkButton.Button.cast
 643         (Glade.get_widget_msg ~name:"introsButton" ~info:"GtkButton" xmldata))
 644     method introsButton = introsButton
 645     val applyButton =
 646       new GButton.button (GtkButton.Button.cast
 647         (Glade.get_widget_msg ~name:"applyButton" ~info:"GtkButton" xmldata))
 648     method applyButton = applyButton
 649     val exactButton =
 650       new GButton.button (GtkButton.Button.cast
 651         (Glade.get_widget_msg ~name:"exactButton" ~info:"GtkButton" xmldata))
 652     method exactButton = exactButton
 653     val toolbar3 =
 654       new GButton.toolbar (GtkButton.Toolbar.cast
 655         (Glade.get_widget_msg ~name:"toolbar3" ~info:"GtkToolbar" xmldata))
 656     method toolbar3 = toolbar3
 657     val elimButton =
 658       new GButton.button (GtkButton.Button.cast
 659         (Glade.get_widget_msg ~name:"elimButton" ~info:"GtkButton" xmldata))
 660     method elimButton = elimButton
 661     val elimTypeButton =
 662       new GButton.button (GtkButton.Button.cast
 663         (Glade.get_widget_msg ~name:"elimTypeButton" ~info:"GtkButton" xmldata))
 664     method elimTypeButton = elimTypeButton
 665     val toolbar4 =
 666       new GButton.toolbar (GtkButton.Toolbar.cast
 667         (Glade.get_widget_msg ~name:"toolbar4" ~info:"GtkToolbar" xmldata))
 668     method toolbar4 = toolbar4
 669     val splitButton =
 670       new GButton.button (GtkButton.Button.cast
 671         (Glade.get_widget_msg ~name:"splitButton" ~info:"GtkButton" xmldata))
 672     method splitButton = splitButton
 673     val leftButton =
 674       new GButton.button (GtkButton.Button.cast
 675         (Glade.get_widget_msg ~name:"leftButton" ~info:"GtkButton" xmldata))
 676     method leftButton = leftButton
 677     val rightButton =
 678       new GButton.button (GtkButton.Button.cast
 679         (Glade.get_widget_msg ~name:"rightButton" ~info:"GtkButton" xmldata))
 680     method rightButton = rightButton
 681     val existsButton =
 682       new GButton.button (GtkButton.Button.cast
 683         (Glade.get_widget_msg ~name:"existsButton" ~info:"GtkButton" xmldata))
 684     method existsButton = existsButton
 685     val toolbar5 =
 686       new GButton.toolbar (GtkButton.Toolbar.cast
 687         (Glade.get_widget_msg ~name:"toolbar5" ~info:"GtkToolbar" xmldata))
 688     method toolbar5 = toolbar5
 689     val reflexivityButton =
 690       new GButton.button (GtkButton.Button.cast
 691         (Glade.get_widget_msg ~name:"reflexivityButton" ~info:"GtkButton" xmldata))
 692     method reflexivityButton = reflexivityButton
 693     val symmetryButton =
 694       new GButton.button (GtkButton.Button.cast
 695         (Glade.get_widget_msg ~name:"symmetryButton" ~info:"GtkButton" xmldata))
 696     method symmetryButton = symmetryButton
 697     val transitivityButton =
 698       new GButton.button (GtkButton.Button.cast
 699         (Glade.get_widget_msg ~name:"transitivityButton" ~info:"GtkButton" xmldata))
 700     method transitivityButton = transitivityButton
 701     val toolbar8 =
 702       new GButton.toolbar (GtkButton.Toolbar.cast
 703         (Glade.get_widget_msg ~name:"toolbar8" ~info:"GtkToolbar" xmldata))
 704     method toolbar8 = toolbar8
 705     val simplifyButton =
 706       new GButton.button (GtkButton.Button.cast
 707         (Glade.get_widget_msg ~name:"simplifyButton" ~info:"GtkButton" xmldata))
 708     method simplifyButton = simplifyButton
 709     val reduceButton =
 710       new GButton.button (GtkButton.Button.cast
 711         (Glade.get_widget_msg ~name:"reduceButton" ~info:"GtkButton" xmldata))
 712     method reduceButton = reduceButton
 713     val whdButton =
 714       new GButton.button (GtkButton.Button.cast
 715         (Glade.get_widget_msg ~name:"whdButton" ~info:"GtkButton" xmldata))
 716     method whdButton = whdButton
 717     val toolbar6 =
 718       new GButton.toolbar (GtkButton.Toolbar.cast
 719         (Glade.get_widget_msg ~name:"toolbar6" ~info:"GtkToolbar" xmldata))
 720     method toolbar6 = toolbar6
 721     val assumptionButton =
 722       new GButton.button (GtkButton.Button.cast
 723         (Glade.get_widget_msg ~name:"assumptionButton" ~info:"GtkButton" xmldata))
 724     method assumptionButton = assumptionButton
 725     val autoButton =
 726       new GButton.button (GtkButton.Button.cast
 727         (Glade.get_widget_msg ~name:"autoButton" ~info:"GtkButton" xmldata))
 728     method autoButton = autoButton
 729     val toolbar7 =
 730       new GButton.toolbar (GtkButton.Toolbar.cast
 731         (Glade.get_widget_msg ~name:"toolbar7" ~info:"GtkToolbar" xmldata))
 732     method toolbar7 = toolbar7
 733     val cutButton =
 734       new GButton.button (GtkButton.Button.cast
 735         (Glade.get_widget_msg ~name:"cutButton" ~info:"GtkButton" xmldata))
 736     method cutButton = cutButton
 737     val replaceButton =
 738       new GButton.button (GtkButton.Button.cast
 739         (Glade.get_widget_msg ~name:"replaceButton" ~info:"GtkButton" xmldata))
 740     method replaceButton = replaceButton
 741     method reparent parent =
 742       toolBarEventBox#misc#reparent parent;
 743       toplevel#destroy ()
 744     method check_widgets () = ()
 745   end
 746 class uriChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 747   let xmldata = Glade.create ~file  ~root:"UriChoiceDialog" ?domain () in
 748   object (self)
 749     inherit Glade.xml ?autoconnect xmldata
 750     val toplevel =
 751       new GWindow.dialog_any (GtkWindow.Dialog.cast
 752         (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
 753     method toplevel = toplevel
 754     val uriChoiceDialog =
 755       new GWindow.dialog_any (GtkWindow.Dialog.cast
 756         (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
 757     method uriChoiceDialog = uriChoiceDialog
 758     val dialog_vbox3 =
 759       new GPack.box (GtkPack.Box.cast
 760         (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
 761     method dialog_vbox3 = dialog_vbox3
 762     val dialog_action_area3 =
 763       new GPack.button_box (GtkPack.BBox.cast
 764         (Glade.get_widget_msg ~name:"dialog-action_area3" ~info:"GtkHButtonBox" xmldata))
 765     method dialog_action_area3 = dialog_action_area3
 766     val uriChoiceAbortButton =
 767       new GButton.button (GtkButton.Button.cast
 768         (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
 769     method uriChoiceAbortButton = uriChoiceAbortButton
 770     val uriChoiceSelectedButton =
 771       new GButton.button (GtkButton.Button.cast
 772         (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
 773     method uriChoiceSelectedButton = uriChoiceSelectedButton
 774     val alignment2 =
 775       new GBin.alignment (GtkBin.Alignment.cast
 776         (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
 777     method alignment2 = alignment2
 778     val hbox3 =
 779       new GPack.box (GtkPack.Box.cast
 780         (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
 781     method hbox3 = hbox3
 782     val image19 =
 783       new GMisc.image (GtkMisc.Image.cast
 784         (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
 785     method image19 = image19
 786     val label3 =
 787       new GMisc.label (GtkMisc.Label.cast
 788         (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
 789     method label3 = label3
 790     val uriChoiceConstantsButton =
 791       new GButton.button (GtkButton.Button.cast
 792         (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
 793     method uriChoiceConstantsButton = uriChoiceConstantsButton
 794     val uriChoiceAutoButton =
 795       new GButton.button (GtkButton.Button.cast
 796         (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
 797     method uriChoiceAutoButton = uriChoiceAutoButton
 798     val alignment1 =
 799       new GBin.alignment (GtkBin.Alignment.cast
 800         (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
 801     method alignment1 = alignment1
 802     val hbox1 =
 803       new GPack.box (GtkPack.Box.cast
 804         (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
 805     method hbox1 = hbox1
 806     val image18 =
 807       new GMisc.image (GtkMisc.Image.cast
 808         (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
 809     method image18 = image18
 810     val label1 =
 811       new GMisc.label (GtkMisc.Label.cast
 812         (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
 813     method label1 = label1
 814     val vbox2 =
 815       new GPack.box (GtkPack.Box.cast
 816         (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
 817     method vbox2 = vbox2
 818     val uriChoiceLabel =
 819       new GMisc.label (GtkMisc.Label.cast
 820         (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
 821     method uriChoiceLabel = uriChoiceLabel
 822     val scrolledwindow1 =
 823       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 824         (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
 825     method scrolledwindow1 = scrolledwindow1
 826     val uriChoiceTreeView =
 827       new GTree.view (GtkTree.TreeView.cast
 828         (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
 829     method uriChoiceTreeView = uriChoiceTreeView
 830     val hbox2 =
 831       new GPack.box (GtkPack.Box.cast
 832         (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
 833     method hbox2 = hbox2
 834     val label2 =
 835       new GMisc.label (GtkMisc.Label.cast
 836         (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
 837     method label2 = label2
 838     val entry1 =
 839       new GEdit.entry (GtkEdit.Entry.cast
 840         (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
 841     method entry1 = entry1
 842     method reparent parent =
 843       dialog_vbox3#misc#reparent parent;
 844       toplevel#destroy ()
 845     method check_widgets () = ()
 846   end
 847
 848 let check_all ?(show=false) () =
 849   ignore (GMain.Main.init ());
 850   let uriChoiceDialog = new uriChoiceDialog () in
 851   if show then uriChoiceDialog#toplevel#show ();
 852   uriChoiceDialog#check_widgets ();
 853   let toolBarWin = new toolBarWin () in
 854   if show then toolBarWin#toplevel#show ();
 855   toolBarWin#check_widgets ();
 856   let textDialog = new textDialog () in
 857   if show then textDialog#toplevel#show ();
 858   textDialog#check_widgets ();
 859   let scriptWin = new scriptWin () in
 860   if show then scriptWin#toplevel#show ();
 861   scriptWin#check_widgets ();
 862   let mainWin = new mainWin () in
 863   if show then mainWin#toplevel#show ();
 864   mainWin#check_widgets ();
 865   let interpChoiceDialog = new interpChoiceDialog () in
 866   if show then interpChoiceDialog#toplevel#show ();
 867   interpChoiceDialog#check_widgets ();
 868   let fileSelectionWin = new fileSelectionWin () in
 869   if show then fileSelectionWin#toplevel#show ();
 870   fileSelectionWin#check_widgets ();
 871   let emptyDialog = new emptyDialog () in
 872   if show then emptyDialog#toplevel#show ();
 873   emptyDialog#check_widgets ();
 874   let confirmationDialog = new confirmationDialog () in
 875   if show then confirmationDialog#toplevel#show ();
 876   confirmationDialog#check_widgets ();
 877   let browserWin = new browserWin () in
 878   if show then browserWin#toplevel#show ();
 879   browserWin#check_widgets ();
 880   let aboutWin = new aboutWin () in
 881   if show then aboutWin#toplevel#show ();
 882   aboutWin#check_widgets ();
 883   if show then GMain.Main.main ()
 884 ;;