new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata))
method newMenu = newMenu
- val image40 =
+ val image76 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image40" ~info:"GtkImage" xmldata))
- method image40 = image40
+ (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))
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata))
method openMenuItem = openMenuItem
- val image41 =
+ val image77 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image41" ~info:"GtkImage" xmldata))
- method image41 = image41
+ (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 image42 =
+ val image78 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image42" ~info:"GtkImage" xmldata))
- method image42 = image42
+ (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 image43 =
+ val image79 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image43" ~info:"GtkImage" xmldata))
- method image43 = image43
+ (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))
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata))
method quitMenuItem = quitMenuItem
- val image44 =
+ val image80 =
new GMisc.image (GtkMisc.Image.cast
- (Glade.get_widget_msg ~name:"image44" ~info:"GtkImage" xmldata))
- method image44 = image44
+ (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))
new GMenu.menu (GtkMenu.Menu.cast
(Glade.get_widget_msg ~name:"DebugMenu_menu" ~info:"GtkMenu" xmldata))
method debugMenu_menu = debugMenu_menu
- val debugMenuItem0 =
+ val separator2 =
new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"DebugMenuItem0" ~info:"GtkMenuItem" xmldata))
- method debugMenuItem0 = debugMenuItem0
- val debugMenuItem1 =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"DebugMenuItem1" ~info:"GtkMenuItem" xmldata))
- method debugMenuItem1 = debugMenuItem1
- val debugMenuItem2 =
- new GMenu.menu_item (GtkMenu.MenuItem.cast
- (Glade.get_widget_msg ~name:"DebugMenuItem2" ~info:"GtkMenuItem" xmldata))
- method debugMenuItem2 = debugMenuItem2
+ (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))
new GPack.paned (GtkPack.Paned.cast
(Glade.get_widget_msg ~name:"MainVPanes" ~info:"GtkVPaned" xmldata))
method mainVPanes = mainVPanes
- val proofStatus =
+ val scrolledSequents =
new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
- (Glade.get_widget_msg ~name:"ProofStatus" ~info:"GtkScrolledWindow" xmldata))
- method proofStatus = proofStatus
- val scrolledUserInput =
+ (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:"ScrolledUserInput" ~info:"GtkScrolledWindow" xmldata))
- method scrolledUserInput = scrolledUserInput
+ (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))
toplevel#destroy ()
method check_widgets () = ()
end
-class genericDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"GenericDialog" ?domain () in
+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:"GenericDialog" ~info:"GtkDialog" xmldata))
+ (Glade.get_widget_msg ~name:"ConfirmationDialog" ~info:"GtkDialog" xmldata))
method toplevel = toplevel
- val genericDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
+ val confirmationDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
new GWindow.dialog (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"GenericDialog" ~info:"GtkDialog" xmldata))
- method genericDialog = genericDialog
+ (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 cancelbutton1 =
+ val confirmationDialogCancelButton =
new GButton.button (GtkButton.Button.cast
- (Glade.get_widget_msg ~name:"cancelbutton1" ~info:"GtkButton" xmldata))
- method cancelbutton1 = cancelbutton1
- val okbutton1 =
+ (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:"okbutton1" ~info:"GtkButton" xmldata))
- method okbutton1 = okbutton1
+ (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 ()
toplevel#destroy ()
method check_widgets () = ()
end
-class debug ?(file="matita.glade") ?domain ?autoconnect(*=true*) () =
- let xmldata = Glade.create ~file ~root:"Debug" ?domain () in
+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:"Debug" ~info:"GtkDialog" xmldata))
+ (Glade.get_widget_msg ~name:"EmptyDialog" ~info:"GtkDialog" xmldata))
method toplevel = toplevel
- val debug : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
+ val emptyDialog : [`NONE | `DELETE_EVENT | `ID of int] GWindow.dialog =
new GWindow.dialog (GtkWindow.Dialog.cast
- (Glade.get_widget_msg ~name:"Debug" ~info:"GtkDialog" xmldata))
- method debug = debug
- val dialog_vbox5 =
+ (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:"dialog-vbox5" ~info:"GtkVBox" xmldata))
- method dialog_vbox5 = dialog_vbox5
- val cancelbutton2 =
+ (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:"cancelbutton2" ~info:"GtkButton" xmldata))
- method cancelbutton2 = cancelbutton2
- val okbutton2 =
+ (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:"okbutton2" ~info:"GtkButton" xmldata))
- method okbutton2 = okbutton2
+ (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 =
- dialog_vbox5#misc#reparent parent;
+ emptyDialogVBox#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end
let check_all ?(show=false) () =
ignore (GMain.Main.init ());
- let debug = new debug () in
- if show then debug#toplevel#show ();
- debug#check_widgets ();
+ 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 aboutWin = new aboutWin () in
if show then aboutWin#toplevel#show ();
aboutWin#check_widgets ();
- let genericDialog = new genericDialog () in
- if show then genericDialog#toplevel#show ();
- genericDialog#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 ();
projects / helm.git / blobdiff