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