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 image164 =
  40       new GMisc.image (GtkMisc.Image.cast
  41         (Glade.get_widget_msg ~name:"image164" ~info:"GtkImage" xmldata))
  42     method image164 = image164
  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 image165 =
  60       new GMisc.image (GtkMisc.Image.cast
  61         (Glade.get_widget_msg ~name:"image165" ~info:"GtkImage" xmldata))
  62     method image165 = image165
  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 image166 =
  68       new GMisc.image (GtkMisc.Image.cast
  69         (Glade.get_widget_msg ~name:"image166" ~info:"GtkImage" xmldata))
  70     method image166 = image166
  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 image167 =
  76       new GMisc.image (GtkMisc.Image.cast
  77         (Glade.get_widget_msg ~name:"image167" ~info:"GtkImage" xmldata))
  78     method image167 = image167
  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 image168 =
  88       new GMisc.image (GtkMisc.Image.cast
  89         (Glade.get_widget_msg ~name:"image168" ~info:"GtkImage" xmldata))
  90     method image168 = image168
  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 hbox4 =
 164       new GPack.box (GtkPack.Box.cast
 165         (Glade.get_widget_msg ~name:"hbox4" ~info:"GtkHBox" xmldata))
 166     method hbox4 = hbox4
 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 toolbar6 =
 324       new GButton.toolbar (GtkButton.Toolbar.cast
 325         (Glade.get_widget_msg ~name:"toolbar6" ~info:"GtkToolbar" xmldata))
 326     method toolbar6 = toolbar6
 327     val assumptionButton =
 328       new GButton.button (GtkButton.Button.cast
 329         (Glade.get_widget_msg ~name:"assumptionButton" ~info:"GtkButton" xmldata))
 330     method assumptionButton = assumptionButton
 331     val autoButton =
 332       new GButton.button (GtkButton.Button.cast
 333         (Glade.get_widget_msg ~name:"autoButton" ~info:"GtkButton" xmldata))
 334     method autoButton = autoButton
 335     val toolbar7 =
 336       new GButton.toolbar (GtkButton.Toolbar.cast
 337         (Glade.get_widget_msg ~name:"toolbar7" ~info:"GtkToolbar" xmldata))
 338     method toolbar7 = toolbar7
 339     val cutButton =
 340       new GButton.button (GtkButton.Button.cast
 341         (Glade.get_widget_msg ~name:"cutButton" ~info:"GtkButton" xmldata))
 342     method cutButton = cutButton
 343     val replaceButton =
 344       new GButton.button (GtkButton.Button.cast
 345         (Glade.get_widget_msg ~name:"replaceButton" ~info:"GtkButton" xmldata))
 346     method replaceButton = replaceButton
 347     method reparent parent =
 348       toolBarEventBox#misc#reparent parent;
 349       toplevel#destroy ()
 350     method check_widgets () = ()
 351   end
 352 class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 353   let xmldata = Glade.create ~file  ~root:"ConfirmationDialog" ?domain () in
 354   object (self)
 355     inherit Glade.xml ?autoconnect xmldata
 356     val toplevel =
 357       new GWindow.dialog_any (GtkWindow.Dialog.cast
 358         (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
 359     method toplevel = toplevel
 360     val confirmationDialog =
 361       new GWindow.dialog_any (GtkWindow.Dialog.cast
 362         (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
 363     method confirmationDialog = confirmationDialog
 364     val dialog_vbox1 =
 365       new GPack.box (GtkPack.Box.cast
 366         (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
 367     method dialog_vbox1 = dialog_vbox1
 368     val dialog_action_area1 =
 369       new GPack.button_box (GtkPack.BBox.cast
 370         (Glade.get_widget_msg ~name:"dialog-action_area1" ~info:"GtkHButtonBox" xmldata))
 371     method dialog_action_area1 = dialog_action_area1
 372     val confirmationDialogCancelButton =
 373       new GButton.button (GtkButton.Button.cast
 374         (Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
 375     method confirmationDialogCancelButton = confirmationDialogCancelButton
 376     val confirmationDialogOkButton =
 377       new GButton.button (GtkButton.Button.cast
 378         (Glade.get_widget_msg ~name:"ConfirmationDialogOkButton" ~info:"GtkButton" xmldata))
 379     method confirmationDialogOkButton = confirmationDialogOkButton
 380     val confirmationDialogLabel =
 381       new GMisc.label (GtkMisc.Label.cast
 382         (Glade.get_widget_msg ~name:"ConfirmationDialogLabel" ~info:"GtkLabel" xmldata))
 383     method confirmationDialogLabel = confirmationDialogLabel
 384     method reparent parent =
 385       dialog_vbox1#misc#reparent parent;
 386       toplevel#destroy ()
 387     method check_widgets () = ()
 388   end
 389 class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 390   let xmldata = Glade.create ~file  ~root:"AboutWin" ?domain () in
 391   object (self)
 392     inherit Glade.xml ?autoconnect xmldata
 393     val toplevel =
 394       new GWindow.dialog_any (GtkWindow.Dialog.cast
 395         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
 396     method toplevel = toplevel
 397     val aboutWin =
 398       new GWindow.dialog_any (GtkWindow.Dialog.cast
 399         (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
 400     method aboutWin = aboutWin
 401     val dialog_vbox2 =
 402       new GPack.box (GtkPack.Box.cast
 403         (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
 404     method dialog_vbox2 = dialog_vbox2
 405     val dialog_action_area2 =
 406       new GPack.button_box (GtkPack.BBox.cast
 407         (Glade.get_widget_msg ~name:"dialog-action_area2" ~info:"GtkHButtonBox" xmldata))
 408     method dialog_action_area2 = dialog_action_area2
 409     val aboutDismissButton =
 410       new GButton.button (GtkButton.Button.cast
 411         (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
 412     method aboutDismissButton = aboutDismissButton
 413     val aboutLabel =
 414       new GMisc.label (GtkMisc.Label.cast
 415         (Glade.get_widget_msg ~name:"AboutLabel" ~info:"GtkLabel" xmldata))
 416     method aboutLabel = aboutLabel
 417     method reparent parent =
 418       dialog_vbox2#misc#reparent parent;
 419       toplevel#destroy ()
 420     method check_widgets () = ()
 421   end
 422 class uriChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 423   let xmldata = Glade.create ~file  ~root:"UriChoiceDialog" ?domain () in
 424   object (self)
 425     inherit Glade.xml ?autoconnect xmldata
 426     val toplevel =
 427       new GWindow.dialog_any (GtkWindow.Dialog.cast
 428         (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
 429     method toplevel = toplevel
 430     val uriChoiceDialog =
 431       new GWindow.dialog_any (GtkWindow.Dialog.cast
 432         (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
 433     method uriChoiceDialog = uriChoiceDialog
 434     val dialog_vbox3 =
 435       new GPack.box (GtkPack.Box.cast
 436         (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
 437     method dialog_vbox3 = dialog_vbox3
 438     val dialog_action_area3 =
 439       new GPack.button_box (GtkPack.BBox.cast
 440         (Glade.get_widget_msg ~name:"dialog-action_area3" ~info:"GtkHButtonBox" xmldata))
 441     method dialog_action_area3 = dialog_action_area3
 442     val uriChoiceAbortButton =
 443       new GButton.button (GtkButton.Button.cast
 444         (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
 445     method uriChoiceAbortButton = uriChoiceAbortButton
 446     val uriChoiceSelectedButton =
 447       new GButton.button (GtkButton.Button.cast
 448         (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
 449     method uriChoiceSelectedButton = uriChoiceSelectedButton
 450     val alignment2 =
 451       new GBin.alignment (GtkBin.Alignment.cast
 452         (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
 453     method alignment2 = alignment2
 454     val hbox3 =
 455       new GPack.box (GtkPack.Box.cast
 456         (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
 457     method hbox3 = hbox3
 458     val image19 =
 459       new GMisc.image (GtkMisc.Image.cast
 460         (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
 461     method image19 = image19
 462     val label3 =
 463       new GMisc.label (GtkMisc.Label.cast
 464         (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
 465     method label3 = label3
 466     val uriChoiceConstantsButton =
 467       new GButton.button (GtkButton.Button.cast
 468         (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
 469     method uriChoiceConstantsButton = uriChoiceConstantsButton
 470     val uriChoiceAutoButton =
 471       new GButton.button (GtkButton.Button.cast
 472         (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
 473     method uriChoiceAutoButton = uriChoiceAutoButton
 474     val alignment1 =
 475       new GBin.alignment (GtkBin.Alignment.cast
 476         (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
 477     method alignment1 = alignment1
 478     val hbox1 =
 479       new GPack.box (GtkPack.Box.cast
 480         (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
 481     method hbox1 = hbox1
 482     val image18 =
 483       new GMisc.image (GtkMisc.Image.cast
 484         (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
 485     method image18 = image18
 486     val label1 =
 487       new GMisc.label (GtkMisc.Label.cast
 488         (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
 489     method label1 = label1
 490     val vbox2 =
 491       new GPack.box (GtkPack.Box.cast
 492         (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
 493     method vbox2 = vbox2
 494     val uriChoiceLabel =
 495       new GMisc.label (GtkMisc.Label.cast
 496         (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
 497     method uriChoiceLabel = uriChoiceLabel
 498     val scrolledwindow1 =
 499       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 500         (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
 501     method scrolledwindow1 = scrolledwindow1
 502     val uriChoiceTreeView =
 503       new GTree.view (GtkTree.TreeView.cast
 504         (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
 505     method uriChoiceTreeView = uriChoiceTreeView
 506     val hbox2 =
 507       new GPack.box (GtkPack.Box.cast
 508         (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
 509     method hbox2 = hbox2
 510     val label2 =
 511       new GMisc.label (GtkMisc.Label.cast
 512         (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
 513     method label2 = label2
 514     val entry1 =
 515       new GEdit.entry (GtkEdit.Entry.cast
 516         (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
 517     method entry1 = entry1
 518     method reparent parent =
 519       dialog_vbox3#misc#reparent parent;
 520       toplevel#destroy ()
 521     method check_widgets () = ()
 522   end
 523 class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 524   let xmldata = Glade.create ~file  ~root:"InterpChoiceDialog" ?domain () in
 525   object (self)
 526     inherit Glade.xml ?autoconnect xmldata
 527     val toplevel =
 528       new GWindow.dialog_any (GtkWindow.Dialog.cast
 529         (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
 530     method toplevel = toplevel
 531     val interpChoiceDialog =
 532       new GWindow.dialog_any (GtkWindow.Dialog.cast
 533         (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
 534     method interpChoiceDialog = interpChoiceDialog
 535     val dialog_vbox4 =
 536       new GPack.box (GtkPack.Box.cast
 537         (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
 538     method dialog_vbox4 = dialog_vbox4
 539     val dialog_action_area4 =
 540       new GPack.button_box (GtkPack.BBox.cast
 541         (Glade.get_widget_msg ~name:"dialog-action_area4" ~info:"GtkHButtonBox" xmldata))
 542     method dialog_action_area4 = dialog_action_area4
 543     val interpChoiceHelpButton =
 544       new GButton.button (GtkButton.Button.cast
 545         (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
 546     method interpChoiceHelpButton = interpChoiceHelpButton
 547     val interpChoiceCancelButton =
 548       new GButton.button (GtkButton.Button.cast
 549         (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
 550     method interpChoiceCancelButton = interpChoiceCancelButton
 551     val interpChoiceOkButton =
 552       new GButton.button (GtkButton.Button.cast
 553         (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
 554     method interpChoiceOkButton = interpChoiceOkButton
 555     val vbox3 =
 556       new GPack.box (GtkPack.Box.cast
 557         (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
 558     method vbox3 = vbox3
 559     val interpChoiceDialogLabel =
 560       new GMisc.label (GtkMisc.Label.cast
 561         (Glade.get_widget_msg ~name:"InterpChoiceDialogLabel" ~info:"GtkLabel" xmldata))
 562     method interpChoiceDialogLabel = interpChoiceDialogLabel
 563     val scrolledwindow4 =
 564       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 565         (Glade.get_widget_msg ~name:"scrolledwindow4" ~info:"GtkScrolledWindow" xmldata))
 566     method scrolledwindow4 = scrolledwindow4
 567     val interpChoiceTreeView =
 568       new GTree.view (GtkTree.TreeView.cast
 569         (Glade.get_widget_msg ~name:"InterpChoiceTreeView" ~info:"GtkTreeView" xmldata))
 570     method interpChoiceTreeView = interpChoiceTreeView
 571     method reparent parent =
 572       dialog_vbox4#misc#reparent parent;
 573       toplevel#destroy ()
 574     method check_widgets () = ()
 575   end
 576 class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 577   let xmldata = Glade.create ~file  ~root:"EmptyDialog" ?domain () in
 578   object (self)
 579     inherit Glade.xml ?autoconnect xmldata
 580     val toplevel =
 581       new GWindow.dialog_any (GtkWindow.Dialog.cast
 582         (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
 583     method toplevel = toplevel
 584     val emptyDialog =
 585       new GWindow.dialog_any (GtkWindow.Dialog.cast
 586         (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
 587     method emptyDialog = emptyDialog
 588     val emptyDialogVBox =
 589       new GPack.box (GtkPack.Box.cast
 590         (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
 591     method emptyDialogVBox = emptyDialogVBox
 592     val dialog_action_area5 =
 593       new GPack.button_box (GtkPack.BBox.cast
 594         (Glade.get_widget_msg ~name:"dialog-action_area5" ~info:"GtkHButtonBox" xmldata))
 595     method dialog_action_area5 = dialog_action_area5
 596     val emptyDialogCancelButton =
 597       new GButton.button (GtkButton.Button.cast
 598         (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))
 599     method emptyDialogCancelButton = emptyDialogCancelButton
 600     val emptyDialogOkButton =
 601       new GButton.button (GtkButton.Button.cast
 602         (Glade.get_widget_msg ~name:"EmptyDialogOkButton" ~info:"GtkButton" xmldata))
 603     method emptyDialogOkButton = emptyDialogOkButton
 604     val emptyDialogLabel =
 605       new GMisc.label (GtkMisc.Label.cast
 606         (Glade.get_widget_msg ~name:"EmptyDialogLabel" ~info:"GtkLabel" xmldata))
 607     method emptyDialogLabel = emptyDialogLabel
 608     method reparent parent =
 609       emptyDialogVBox#misc#reparent parent;
 610       toplevel#destroy ()
 611     method check_widgets () = ()
 612   end
 613 class checkWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 614   let xmldata = Glade.create ~file  ~root:"CheckWin" ?domain () in
 615   object (self)
 616     inherit Glade.xml ?autoconnect xmldata
 617     val toplevel =
 618       new GWindow.window (GtkWindow.Window.cast
 619         (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
 620     method toplevel = toplevel
 621     val checkWin =
 622       new GWindow.window (GtkWindow.Window.cast
 623         (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata))
 624     method checkWin = checkWin
 625     val checkWinEventBox =
 626       new GBin.event_box (GtkBin.EventBox.cast
 627         (Glade.get_widget_msg ~name:"CheckWinEventBox" ~info:"GtkEventBox" xmldata))
 628     method checkWinEventBox = checkWinEventBox
 629     val scrolledCheck =
 630       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 631         (Glade.get_widget_msg ~name:"ScrolledCheck" ~info:"GtkScrolledWindow" xmldata))
 632     method scrolledCheck = scrolledCheck
 633     method reparent parent =
 634       checkWinEventBox#misc#reparent parent;
 635       toplevel#destroy ()
 636     method check_widgets () = ()
 637   end
 638 class scriptWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 639   let xmldata = Glade.create ~file  ~root:"ScriptWin" ?domain () in
 640   object (self)
 641     inherit Glade.xml ?autoconnect xmldata
 642     val toplevel =
 643       new GWindow.window (GtkWindow.Window.cast
 644         (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
 645     method toplevel = toplevel
 646     val scriptWin =
 647       new GWindow.window (GtkWindow.Window.cast
 648         (Glade.get_widget_msg ~name:"ScriptWin" ~info:"GtkWindow" xmldata))
 649     method scriptWin = scriptWin
 650     val scriptWinEventBox =
 651       new GBin.event_box (GtkBin.EventBox.cast
 652         (Glade.get_widget_msg ~name:"ScriptWinEventBox" ~info:"GtkEventBox" xmldata))
 653     method scriptWinEventBox = scriptWinEventBox
 654     val scriptNotebook =
 655       new GPack.notebook (GtkPack.Notebook.cast
 656         (Glade.get_widget_msg ~name:"scriptNotebook" ~info:"GtkNotebook" xmldata))
 657     method scriptNotebook = scriptNotebook
 658     val vbox4 =
 659       new GPack.box (GtkPack.Box.cast
 660         (Glade.get_widget_msg ~name:"vbox4" ~info:"GtkVBox" xmldata))
 661     method vbox4 = vbox4
 662     val toolbar1 =
 663       new GButton.toolbar (GtkButton.Toolbar.cast
 664         (Glade.get_widget_msg ~name:"toolbar1" ~info:"GtkToolbar" xmldata))
 665     method toolbar1 = toolbar1
 666     val scriptWinBackButton =
 667       new GButton.button (GtkButton.Button.cast
 668         (Glade.get_widget_msg ~name:"ScriptWinBackButton" ~info:"GtkButton" xmldata))
 669     method scriptWinBackButton = scriptWinBackButton
 670     val image133 =
 671       new GMisc.image (GtkMisc.Image.cast
 672         (Glade.get_widget_msg ~name:"image133" ~info:"GtkImage" xmldata))
 673     method image133 = image133
 674     val scriptWinJumpButton =
 675       new GButton.button (GtkButton.Button.cast
 676         (Glade.get_widget_msg ~name:"ScriptWinJumpButton" ~info:"GtkButton" xmldata))
 677     method scriptWinJumpButton = scriptWinJumpButton
 678     val image134 =
 679       new GMisc.image (GtkMisc.Image.cast
 680         (Glade.get_widget_msg ~name:"image134" ~info:"GtkImage" xmldata))
 681     method image134 = image134
 682     val scriptWinForwardButton =
 683       new GButton.button (GtkButton.Button.cast
 684         (Glade.get_widget_msg ~name:"ScriptWinForwardButton" ~info:"GtkButton" xmldata))
 685     method scriptWinForwardButton = scriptWinForwardButton
 686     val image135 =
 687       new GMisc.image (GtkMisc.Image.cast
 688         (Glade.get_widget_msg ~name:"image135" ~info:"GtkImage" xmldata))
 689     method image135 = image135
 690     val scrolledScript =
 691       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 692         (Glade.get_widget_msg ~name:"ScrolledScript" ~info:"GtkScrolledWindow" xmldata))
 693     method scrolledScript = scrolledScript
 694     val scriptTextView =
 695       new GText.view (GtkText.View.cast
 696         (Glade.get_widget_msg ~name:"ScriptTextView" ~info:"GtkTextView" xmldata))
 697     method scriptTextView = scriptTextView
 698     val label7 =
 699       new GMisc.label (GtkMisc.Label.cast
 700         (Glade.get_widget_msg ~name:"label7" ~info:"GtkLabel" xmldata))
 701     method label7 = label7
 702     val scrolledwindow3 =
 703       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 704         (Glade.get_widget_msg ~name:"scrolledwindow3" ~info:"GtkScrolledWindow" xmldata))
 705     method scrolledwindow3 = scrolledwindow3
 706     val treeview1 =
 707       new GTree.view (GtkTree.TreeView.cast
 708         (Glade.get_widget_msg ~name:"treeview1" ~info:"GtkTreeView" xmldata))
 709     method treeview1 = treeview1
 710     val label8 =
 711       new GMisc.label (GtkMisc.Label.cast
 712         (Glade.get_widget_msg ~name:"label8" ~info:"GtkLabel" xmldata))
 713     method label8 = label8
 714     method reparent parent =
 715       scriptWinEventBox#misc#reparent parent;
 716       toplevel#destroy ()
 717     method check_widgets () = ()
 718   end
 719 class textDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
 720   let xmldata = Glade.create ~file  ~root:"TextDialog" ?domain () in
 721   object (self)
 722     inherit Glade.xml ?autoconnect xmldata
 723     val toplevel =
 724       new GWindow.dialog_any (GtkWindow.Dialog.cast
 725         (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
 726     method toplevel = toplevel
 727     val textDialog =
 728       new GWindow.dialog_any (GtkWindow.Dialog.cast
 729         (Glade.get_widget_msg ~name:"TextDialog" ~info:"GtkDialog" xmldata))
 730     method textDialog = textDialog
 731     val vbox5 =
 732       new GPack.box (GtkPack.Box.cast
 733         (Glade.get_widget_msg ~name:"vbox5" ~info:"GtkVBox" xmldata))
 734     method vbox5 = vbox5
 735     val hbuttonbox1 =
 736       new GPack.button_box (GtkPack.BBox.cast
 737         (Glade.get_widget_msg ~name:"hbuttonbox1" ~info:"GtkHButtonBox" xmldata))
 738     method hbuttonbox1 = hbuttonbox1
 739     val textDialogCancelButton =
 740       new GButton.button (GtkButton.Button.cast
 741         (Glade.get_widget_msg ~name:"TextDialogCancelButton" ~info:"GtkButton" xmldata))
 742     method textDialogCancelButton = textDialogCancelButton
 743     val textDialogOkButton =
 744       new GButton.button (GtkButton.Button.cast
 745         (Glade.get_widget_msg ~name:"TextDialogOkButton" ~info:"GtkButton" xmldata))
 746     method textDialogOkButton = textDialogOkButton
 747     val textDialogLabel =
 748       new GMisc.label (GtkMisc.Label.cast
 749         (Glade.get_widget_msg ~name:"TextDialogLabel" ~info:"GtkLabel" xmldata))
 750     method textDialogLabel = textDialogLabel
 751     val scrolledwindow2 =
 752       new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
 753         (Glade.get_widget_msg ~name:"scrolledwindow2" ~info:"GtkScrolledWindow" xmldata))
 754     method scrolledwindow2 = scrolledwindow2
 755     val textDialogTextView =
 756       new GText.view (GtkText.View.cast
 757         (Glade.get_widget_msg ~name:"TextDialogTextView" ~info:"GtkTextView" xmldata))
 758     method textDialogTextView = textDialogTextView
 759     method reparent parent =
 760       vbox5#misc#reparent parent;
 761       toplevel#destroy ()
 762     method check_widgets () = ()
 763   end
 764
 765 let check_all ?(show=false) () =
 766   ignore (GMain.Main.init ());
 767   let textDialog = new textDialog () in
 768   if show then textDialog#toplevel#show ();
 769   textDialog#check_widgets ();
 770   let scriptWin = new scriptWin () in
 771   if show then scriptWin#toplevel#show ();
 772   scriptWin#check_widgets ();
 773   let checkWin = new checkWin () in
 774   if show then checkWin#toplevel#show ();
 775   checkWin#check_widgets ();
 776   let emptyDialog = new emptyDialog () in
 777   if show then emptyDialog#toplevel#show ();
 778   emptyDialog#check_widgets ();
 779   let interpChoiceDialog = new interpChoiceDialog () in
 780   if show then interpChoiceDialog#toplevel#show ();
 781   interpChoiceDialog#check_widgets ();
 782   let uriChoiceDialog = new uriChoiceDialog () in
 783   if show then uriChoiceDialog#toplevel#show ();
 784   uriChoiceDialog#check_widgets ();
 785   let aboutWin = new aboutWin () in
 786   if show then aboutWin#toplevel#show ();
 787   aboutWin#check_widgets ();
 788   let confirmationDialog = new confirmationDialog () in
 789   if show then confirmationDialog#toplevel#show ();
 790   confirmationDialog#check_widgets ();
 791   let toolBarWin = new toolBarWin () in
 792   if show then toolBarWin#toplevel#show ();
 793   toolBarWin#check_widgets ();
 794   let fileSelectionWin = new fileSelectionWin () in
 795   if show then fileSelectionWin#toplevel#show ();
 796   fileSelectionWin#check_widgets ();
 797   let proofWin = new proofWin () in
 798   if show then proofWin#toplevel#show ();
 799   proofWin#check_widgets ();
 800   let mainWin = new mainWin () in
 801   if show then mainWin#toplevel#show ();
 802   mainWin#check_widgets ();
 803   if show then GMain.Main.main ()
 804 ;;