+++ /dev/null
-(* Automatically generated from matita.glade by lablgladecc *)
-
-class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"MainWin" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel =
- new GWindow.window (GtkWindow.Window.cast
- (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
- method toplevel = toplevel
- val mainWin =
- new GWindow.window (GtkWindow.Window.cast
- (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata))
- method mainWin = mainWin
- val mainWinShape =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"MainWinShape" ~info:"GtkVBox" xmldata))
- method mainWinShape = mainWinShape
- val mainMenuBar =
- new GMenu.menu_shell (GtkMenu.MenuBar.cast
- (Glade.get_widget_msg ~name:"MainMenuBar" ~info:"GtkMenuBar" xmldata))
- method mainMenuBar = mainMenuBar
- val fileMenu =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"FileMenu" ~info:"GtkMenuItem" xmldata))
- method fileMenu = fileMenu
- val fileMenu_menu =
- new GMenu.menu (GtkMenu.Menu.cast
- (Glade.get_widget_msg ~name:"FileMenu_menu" ~info:"GtkMenu" xmldata))
- method fileMenu_menu = fileMenu_menu
- val newMenu =
- new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
- (Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
- method newMenu = newMenu
- val image76 =
- new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image76" ~info:"GtkImage" xmldata))
- method image76 = image76
- val newMenu_menu =
- new GMenu.menu (GtkMenu.Menu.cast
- (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata))
- method newMenu_menu = newMenu_menu
- val newProofMenuItem =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"NewProofMenuItem" ~info:"GtkMenuItem" xmldata))
- method newProofMenuItem = newProofMenuItem
- val newDefsMenuItem =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"NewDefsMenuItem" ~info:"GtkMenuItem" xmldata))
- method newDefsMenuItem = newDefsMenuItem
- val openMenuItem =
- new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
- (Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata))
- method openMenuItem = openMenuItem
- val image77 =
- new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image77" ~info:"GtkImage" xmldata))
- method image77 = image77
- val saveMenuItem =
- new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
- (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata))
- method saveMenuItem = saveMenuItem
- val image78 =
- new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image78" ~info:"GtkImage" xmldata))
- method image78 = image78
- val saveAsMenuItem =
- new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
- (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata))
- method saveAsMenuItem = saveAsMenuItem
- val image79 =
- new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image79" ~info:"GtkImage" xmldata))
- method image79 = image79
- val separator1 =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"separator1" ~info:"GtkMenuItem" xmldata))
- method separator1 = separator1
- val quitMenuItem =
- new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
- (Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
- method quitMenuItem = quitMenuItem
- val image80 =
- new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image80" ~info:"GtkImage" xmldata))
- method image80 = image80
- val editMenu =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata))
- method editMenu = editMenu
- val viewMenu =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"ViewMenu" ~info:"GtkMenuItem" xmldata))
- method viewMenu = viewMenu
- val viewMenu_menu =
- new GMenu.menu (GtkMenu.Menu.cast
- (Glade.get_widget_msg ~name:"ViewMenu_menu" ~info:"GtkMenu" xmldata))
- method viewMenu_menu = viewMenu_menu
- val showToolBarMenuItem =
- new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
- (Glade.get_widget_msg ~name:"ShowToolBarMenuItem" ~info:"GtkCheckMenuItem" xmldata))
- method showToolBarMenuItem = showToolBarMenuItem
- val showProofMenuItem =
- new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast
- (Glade.get_widget_msg ~name:"ShowProofMenuItem" ~info:"GtkCheckMenuItem" xmldata))
- method showProofMenuItem = showProofMenuItem
- val debugMenu =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata))
- method debugMenu = debugMenu
- val debugMenu_menu =
- new GMenu.menu (GtkMenu.Menu.cast
- (Glade.get_widget_msg ~name:"DebugMenu_menu" ~info:"GtkMenu" xmldata))
- method debugMenu_menu = debugMenu_menu
- val separator2 =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"separator2" ~info:"GtkMenuItem" xmldata))
- method separator2 = separator2
- val helpMenu =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"HelpMenu" ~info:"GtkMenuItem" xmldata))
- method helpMenu = helpMenu
- val helpMenu_menu =
- new GMenu.menu (GtkMenu.Menu.cast
- (Glade.get_widget_msg ~name:"HelpMenu_menu" ~info:"GtkMenu" xmldata))
- method helpMenu_menu = helpMenu_menu
- val aboutMenuItem =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"AboutMenuItem" ~info:"GtkMenuItem" xmldata))
- method aboutMenuItem = aboutMenuItem
- val mainVPanes =
- new GPack.paned (GtkPack.Paned.cast
- (Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
- method mainVPanes = mainVPanes
- val scrolledSequents =
- new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
- (Glade.get_widget_msg ~name:"ScrolledSequents" ~info:"GtkScrolledWindow" xmldata))
- method scrolledSequents = scrolledSequents
- val scrolledConsole =
- new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
- (Glade.get_widget_msg ~name:"ScrolledConsole" ~info:"GtkScrolledWindow" xmldata))
- method scrolledConsole = scrolledConsole
- val mainStatusBar =
- new GMisc.statusbar (GtkMisc.Statusbar.cast
- (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata))
- method mainStatusBar = mainStatusBar
- method reparent parent =
- mainWinShape#misc#reparent parent;
- toplevel#destroy ()
- method check_widgets () = ()
- end
-class proofWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"ProofWin" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel =
- new GWindow.window (GtkWindow.Window.cast
- (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
- method toplevel = toplevel
- val proofWin =
- new GWindow.window (GtkWindow.Window.cast
- (Glade.get_widget_msg ~name:"ProofWin" ~info:"GtkWindow" xmldata))
- method proofWin = proofWin
- val proofWinEventBox =
- new GBin.event_box (GtkBin.EventBox.cast
- (Glade.get_widget_msg ~name:"ProofWinEventBox" ~info:"GtkEventBox" xmldata))
- method proofWinEventBox = proofWinEventBox
- val scrolledProof =
- new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
- (Glade.get_widget_msg ~name:"ScrolledProof" ~info:"GtkScrolledWindow" xmldata))
- method scrolledProof = scrolledProof
- val viewport1 =
- new GBin.viewport (GtkBin.Viewport.cast
- (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata))
- method viewport1 = viewport1
- method reparent parent =
- proofWinEventBox#misc#reparent parent;
- toplevel#destroy ()
- method check_widgets () = ()
- end
-class fileSelectionWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"FileSelectionWin" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel =
- new GWindow.file_selection (GtkWindow.FileSelection.cast
- (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
- method toplevel = toplevel
- val fileSelectionWin =
- new GWindow.file_selection (GtkWindow.FileSelection.cast
- (Glade.get_widget_msg ~name:"FileSelectionWin" ~info:"GtkFileSelection" xmldata))
- method fileSelectionWin = fileSelectionWin
- val cancel_button1 =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"cancel_button1" ~info:"GtkButton" xmldata))
- method cancel_button1 = cancel_button1
- val ok_button1 =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"ok_button1" ~info:"GtkButton" xmldata))
- method ok_button1 = ok_button1
- method check_widgets () = ()
- end
-class toolBarWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"ToolBarWin" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel =
- new GWindow.window (GtkWindow.Window.cast
- (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
- method toplevel = toplevel
- val toolBarWin =
- new GWindow.window (GtkWindow.Window.cast
- (Glade.get_widget_msg ~name:"ToolBarWin" ~info:"GtkWindow" xmldata))
- method toolBarWin = toolBarWin
- val toolBarEventBox =
- new GBin.event_box (GtkBin.EventBox.cast
- (Glade.get_widget_msg ~name:"ToolBarEventBox" ~info:"GtkEventBox" xmldata))
- method toolBarEventBox = toolBarEventBox
- val vbox1 =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
- method vbox1 = vbox1
- val button1 =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button1" ~info:"GtkButton" xmldata))
- method button1 = button1
- val button2 =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button2" ~info:"GtkButton" xmldata))
- method button2 = button2
- val button3 =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button3" ~info:"GtkButton" xmldata))
- method button3 = button3
- val button4 =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"button4" ~info:"GtkButton" xmldata))
- method button4 = button4
- method reparent parent =
- toolBarEventBox#misc#reparent parent;
- toplevel#destroy ()
- method check_widgets () = ()
- end
-class confirmationDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"ConfirmationDialog" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
- method toplevel = toplevel
- val confirmationDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
- method confirmationDialog = confirmationDialog
- val dialog_vbox1 =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"dialog-vbox1" ~info:"GtkVBox" xmldata))
- method dialog_vbox1 = dialog_vbox1
- val confirmationDialogCancelButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"ConfirmationDialogCancelButton" ~info:"GtkButton" xmldata))
- method confirmationDialogCancelButton = confirmationDialogCancelButton
- val confirmationDialogOkButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"ConfirmationDialogOkButton" ~info:"GtkButton" xmldata))
- method confirmationDialogOkButton = confirmationDialogOkButton
- val confirmationDialogLabel =
- new GMisc.label (GtkMisc.Label.cast
- (Glade.get_widget_msg ~name:"ConfirmationDialogLabel" ~info:"GtkLabel" xmldata))
- method confirmationDialogLabel = confirmationDialogLabel
- method reparent parent =
- dialog_vbox1#misc#reparent parent;
- toplevel#destroy ()
- method check_widgets () = ()
- end
-class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"AboutWin" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
- method toplevel = toplevel
- val aboutWin : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"AboutWin" ~info:"GtkDialog" xmldata))
- method aboutWin = aboutWin
- val dialog_vbox2 =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"dialog-vbox2" ~info:"GtkVBox" xmldata))
- method dialog_vbox2 = dialog_vbox2
- val aboutDismissButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata))
- method aboutDismissButton = aboutDismissButton
- method reparent parent =
- dialog_vbox2#misc#reparent parent;
- toplevel#destroy ()
- method check_widgets () = ()
- end
-class uriChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"UriChoiceDialog" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
- method toplevel = toplevel
- val uriChoiceDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"UriChoiceDialog" ~info:"GtkDialog" xmldata))
- method uriChoiceDialog = uriChoiceDialog
- val dialog_vbox3 =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"dialog-vbox3" ~info:"GtkVBox" xmldata))
- method dialog_vbox3 = dialog_vbox3
- val uriChoiceAbortButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"UriChoiceAbortButton" ~info:"GtkButton" xmldata))
- method uriChoiceAbortButton = uriChoiceAbortButton
- val uriChoiceSelectedButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"UriChoiceSelectedButton" ~info:"GtkButton" xmldata))
- method uriChoiceSelectedButton = uriChoiceSelectedButton
- val alignment2 =
- new GBin.alignment (GtkBin.Alignment.cast
- (Glade.get_widget_msg ~name:"alignment2" ~info:"GtkAlignment" xmldata))
- method alignment2 = alignment2
- val hbox3 =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"hbox3" ~info:"GtkHBox" xmldata))
- method hbox3 = hbox3
- val image19 =
- new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image19" ~info:"GtkImage" xmldata))
- method image19 = image19
- val label3 =
- new GMisc.label (GtkMisc.Label.cast
- (Glade.get_widget_msg ~name:"label3" ~info:"GtkLabel" xmldata))
- method label3 = label3
- val uriChoiceConstantsButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"UriChoiceConstantsButton" ~info:"GtkButton" xmldata))
- method uriChoiceConstantsButton = uriChoiceConstantsButton
- val uriChoiceAutoButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"UriChoiceAutoButton" ~info:"GtkButton" xmldata))
- method uriChoiceAutoButton = uriChoiceAutoButton
- val alignment1 =
- new GBin.alignment (GtkBin.Alignment.cast
- (Glade.get_widget_msg ~name:"alignment1" ~info:"GtkAlignment" xmldata))
- method alignment1 = alignment1
- val hbox1 =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"hbox1" ~info:"GtkHBox" xmldata))
- method hbox1 = hbox1
- val image18 =
- new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image18" ~info:"GtkImage" xmldata))
- method image18 = image18
- val label1 =
- new GMisc.label (GtkMisc.Label.cast
- (Glade.get_widget_msg ~name:"label1" ~info:"GtkLabel" xmldata))
- method label1 = label1
- val vbox2 =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"vbox2" ~info:"GtkVBox" xmldata))
- method vbox2 = vbox2
- val uriChoiceLabel =
- new GMisc.label (GtkMisc.Label.cast
- (Glade.get_widget_msg ~name:"UriChoiceLabel" ~info:"GtkLabel" xmldata))
- method uriChoiceLabel = uriChoiceLabel
- val scrolledwindow1 =
- new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
- (Glade.get_widget_msg ~name:"scrolledwindow1" ~info:"GtkScrolledWindow" xmldata))
- method scrolledwindow1 = scrolledwindow1
- val uriChoiceTreeView =
- new GTree.view (GtkTree.TreeView.cast
- (Glade.get_widget_msg ~name:"UriChoiceTreeView" ~info:"GtkTreeView" xmldata))
- method uriChoiceTreeView = uriChoiceTreeView
- val hbox2 =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"hbox2" ~info:"GtkHBox" xmldata))
- method hbox2 = hbox2
- val label2 =
- new GMisc.label (GtkMisc.Label.cast
- (Glade.get_widget_msg ~name:"label2" ~info:"GtkLabel" xmldata))
- method label2 = label2
- val entry1 =
- new GEdit.entry (GtkEdit.Entry.cast
- (Glade.get_widget_msg ~name:"entry1" ~info:"GtkEntry" xmldata))
- method entry1 = entry1
- method reparent parent =
- dialog_vbox3#misc#reparent parent;
- toplevel#destroy ()
- method check_widgets () = ()
- end
-class interpChoiceDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"InterpChoiceDialog" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
- method toplevel = toplevel
- val interpChoiceDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"InterpChoiceDialog" ~info:"GtkDialog" xmldata))
- method interpChoiceDialog = interpChoiceDialog
- val dialog_vbox4 =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"dialog-vbox4" ~info:"GtkVBox" xmldata))
- method dialog_vbox4 = dialog_vbox4
- val interpChoiceHelpButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"InterpChoiceHelpButton" ~info:"GtkButton" xmldata))
- method interpChoiceHelpButton = interpChoiceHelpButton
- val interpChoiceCancelButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"InterpChoiceCancelButton" ~info:"GtkButton" xmldata))
- method interpChoiceCancelButton = interpChoiceCancelButton
- val interpChoiceOkButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"InterpChoiceOkButton" ~info:"GtkButton" xmldata))
- method interpChoiceOkButton = interpChoiceOkButton
- val vbox3 =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"vbox3" ~info:"GtkVBox" xmldata))
- method vbox3 = vbox3
- val label6 =
- new GMisc.label (GtkMisc.Label.cast
- (Glade.get_widget_msg ~name:"label6" ~info:"GtkLabel" xmldata))
- method label6 = label6
- method reparent parent =
- dialog_vbox4#misc#reparent parent;
- toplevel#destroy ()
- method check_widgets () = ()
- end
-class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"EmptyDialog" ?domain () in
- object (self)
- inherit Glade.xml ?autoconnect xmldata
- val toplevel : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
- method toplevel = toplevel
- val emptyDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
- new GWindow.dialog (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
- method emptyDialog = emptyDialog
- val emptyDialogVBox =
- new GPack.box (GtkPack.Box.cast
- (Glade.get_widget_msg ~name:"EmptyDialogVBox" ~info:"GtkVBox" xmldata))
- method emptyDialogVBox = emptyDialogVBox
- val emptyDialogCancelButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"EmptyDialogCancelButton" ~info:"GtkButton" xmldata))
- method emptyDialogCancelButton = emptyDialogCancelButton
- val emptyDialogOkButton =
- new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"EmptyDialogOkButton" ~info:"GtkButton" xmldata))
- method emptyDialogOkButton = emptyDialogOkButton
- val emptyDialogLabel =
- new GMisc.label (GtkMisc.Label.cast
- (Glade.get_widget_msg ~name:"EmptyDialogLabel" ~info:"GtkLabel" xmldata))
- method emptyDialogLabel = emptyDialogLabel
- method reparent parent =
- emptyDialogVBox#misc#reparent parent;
- toplevel#destroy ()
- method check_widgets () = ()
- end
-
-let check_all ?(show=false) () =
- ignore (GMain.Main.init ());
- let emptyDialog = new emptyDialog () in
- if show then emptyDialog#toplevel#show ();
- emptyDialog#check_widgets ();
- let interpChoiceDialog = new interpChoiceDialog () in
- if show then interpChoiceDialog#toplevel#show ();
- interpChoiceDialog#check_widgets ();
- let uriChoiceDialog = new uriChoiceDialog () in
- if show then uriChoiceDialog#toplevel#show ();
- uriChoiceDialog#check_widgets ();
- let aboutWin = new aboutWin () in
- if show then aboutWin#toplevel#show ();
- aboutWin#check_widgets ();
- let confirmationDialog = new confirmationDialog () in
- if show then confirmationDialog#toplevel#show ();
- confirmationDialog#check_widgets ();
- let toolBarWin = new toolBarWin () in
- if show then toolBarWin#toplevel#show ();
- toolBarWin#check_widgets ();
- let fileSelectionWin = new fileSelectionWin () in
- if show then fileSelectionWin#toplevel#show ();
- fileSelectionWin#check_widgets ();
- let proofWin = new proofWin () in
- if show then proofWin#toplevel#show ();
- proofWin#check_widgets ();
- let mainWin = new mainWin () in
- if show then mainWin#toplevel#show ();
- mainWin#check_widgets ();
- if show then GMain.Main.main ()
-;;
projects / helm.git / blobdiff