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