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