helm/matita/matitaGeneratedGui.ml

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