class main_window ?(file="dbforge/dbforge.glade") ?domain ?autoconnect () =
let xmldata = Glade.create ~file ~root:"main_window" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
val toplevel =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"main_window" ~info:"GtkWindow" xmldata))
method toplevel = toplevel
val main_window =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"main_window" ~info:"GtkWindow" xmldata))
method main_window = main_window
val box0 =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"box0" ~info:"GtkVBox" xmldata))
method box0 = box0
val main_menubar =
new GMenu.menu_shell (GtkMenu.MenuBar.cast
(Glade.get_widget_msg ~name:"main_menubar" ~info:"GtkMenuBar" xmldata))
method main_menubar = main_menubar
val file_menuitem =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"file_menuitem" ~info:"GtkMenuItem" xmldata))
method file_menuitem = file_menuitem
val file_menuitem_menu =
new GMenu.menu (GtkMenu.Menu.cast
(Glade.get_widget_msg ~name:"file_menuitem_menu" ~info:"GtkMenu" xmldata))
method file_menuitem_menu = file_menuitem_menu
val new_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"new_menuitem" ~info:"GtkImageMenuItem" xmldata))
method new_menuitem = new_menuitem
val open_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"open_menuitem" ~info:"GtkImageMenuItem" xmldata))
method open_menuitem = open_menuitem
val save_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"save_menuitem" ~info:"GtkImageMenuItem" xmldata))
method save_menuitem = save_menuitem
val saveas_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"saveas_menuitem" ~info:"GtkImageMenuItem" xmldata))
method saveas_menuitem = saveas_menuitem
val quit_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"quit_menuitem" ~info:"GtkImageMenuItem" xmldata))
method quit_menuitem = quit_menuitem
val tables_menuitem =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"tables_menuitem" ~info:"GtkMenuItem" xmldata))
method tables_menuitem = tables_menuitem
val tables_menuitem_menu =
new GMenu.menu (GtkMenu.Menu.cast
(Glade.get_widget_msg ~name:"tables_menuitem_menu" ~info:"GtkMenu" xmldata))
method tables_menuitem_menu = tables_menuitem_menu
val add_table_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"add_table_menuitem" ~info:"GtkImageMenuItem" xmldata))
method add_table_menuitem = add_table_menuitem
val remove_table_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"remove_table_menuitem" ~info:"GtkImageMenuItem" xmldata))
method remove_table_menuitem = remove_table_menuitem
val edit_table_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"edit_table_menuitem" ~info:"GtkImageMenuItem" xmldata))
method edit_table_menuitem = edit_table_menuitem
val vtables_menuitem =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"vtables_menuitem" ~info:"GtkMenuItem" xmldata))
method vtables_menuitem = vtables_menuitem
val vtables_menuitem_menu =
new GMenu.menu (GtkMenu.Menu.cast
(Glade.get_widget_msg ~name:"vtables_menuitem_menu" ~info:"GtkMenu" xmldata))
method vtables_menuitem_menu = vtables_menuitem_menu
val add_vtable_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"add_vtable_menuitem" ~info:"GtkImageMenuItem" xmldata))
method add_vtable_menuitem = add_vtable_menuitem
val remove_vtable_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"remove_vtable_menuitem" ~info:"GtkImageMenuItem" xmldata))
method remove_vtable_menuitem = remove_vtable_menuitem
val edit_vtable_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"edit_vtable_menuitem" ~info:"GtkImageMenuItem" xmldata))
method edit_vtable_menuitem = edit_vtable_menuitem
val columns_menuitem =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"columns_menuitem" ~info:"GtkMenuItem" xmldata))
method columns_menuitem = columns_menuitem
val columns_menuitem_menu =
new GMenu.menu (GtkMenu.Menu.cast
(Glade.get_widget_msg ~name:"columns_menuitem_menu" ~info:"GtkMenu" xmldata))
method columns_menuitem_menu = columns_menuitem_menu
val add_column_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"add_column_menuitem" ~info:"GtkImageMenuItem" xmldata))
method add_column_menuitem = add_column_menuitem
val remove_column_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"remove_column_menuitem" ~info:"GtkImageMenuItem" xmldata))
method remove_column_menuitem = remove_column_menuitem
val edit_column_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"edit_column_menuitem" ~info:"GtkImageMenuItem" xmldata))
method edit_column_menuitem = edit_column_menuitem
val indexes_menuitem =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"indexes_menuitem" ~info:"GtkMenuItem" xmldata))
method indexes_menuitem = indexes_menuitem
val indexes_menuitem_menu =
new GMenu.menu (GtkMenu.Menu.cast
(Glade.get_widget_msg ~name:"indexes_menuitem_menu" ~info:"GtkMenu" xmldata))
method indexes_menuitem_menu = indexes_menuitem_menu
val add_index_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"add_index_menuitem" ~info:"GtkImageMenuItem" xmldata))
method add_index_menuitem = add_index_menuitem
val remove_index_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"remove_index_menuitem" ~info:"GtkImageMenuItem" xmldata))
method remove_index_menuitem = remove_index_menuitem
val edit_index_menuitem =
new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast
(Glade.get_widget_msg ~name:"edit_index_menuitem" ~info:"GtkImageMenuItem" xmldata))
method edit_index_menuitem = edit_index_menuitem
val queries_menuitem =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"queries_menuitem" ~info:"GtkMenuItem" xmldata))
method queries_menuitem = queries_menuitem
val queries_menuitem_menu =
new GMenu.menu (GtkMenu.Menu.cast
(Glade.get_widget_msg ~name:"queries_menuitem_menu" ~info:"GtkMenu" xmldata))
method queries_menuitem_menu = queries_menuitem_menu
val add_query_menuitem =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"add_query_menuitem" ~info:"GtkMenuItem" xmldata))
method add_query_menuitem = add_query_menuitem
val remove_query_menuitem =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"remove_query_menuitem" ~info:"GtkMenuItem" xmldata))
method remove_query_menuitem = remove_query_menuitem
val edit_query_menuitem =
new GMenu.menu_item (GtkMenu.MenuItem.cast
(Glade.get_widget_msg ~name:"edit_query_menuitem" ~info:"GtkMenuItem" xmldata))
method edit_query_menuitem = edit_query_menuitem
val tables_scrolledwindow =
new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
(Glade.get_widget_msg ~name:"tables_scrolledwindow" ~info:"GtkScrolledWindow" xmldata))
method tables_scrolledwindow = tables_scrolledwindow
val tables_view =
new GTree.view (GtkTree.TreeView.cast
(Glade.get_widget_msg ~name:"tables_view" ~info:"GtkTreeView" xmldata))
method tables_view = tables_view
val columns_scrolledwindow =
new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
(Glade.get_widget_msg ~name:"columns_scrolledwindow" ~info:"GtkScrolledWindow" xmldata))
method columns_scrolledwindow = columns_scrolledwindow
val columns_view =
new GTree.view (GtkTree.TreeView.cast
(Glade.get_widget_msg ~name:"columns_view" ~info:"GtkTreeView" xmldata))
method columns_view = columns_view
val main_notebook =
new GPack.notebook (GtkPack.Notebook.cast
(Glade.get_widget_msg ~name:"main_notebook" ~info:"GtkNotebook" xmldata))
method main_notebook = main_notebook
val vtables_scrolledwindow =
new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
(Glade.get_widget_msg ~name:"vtables_scrolledwindow" ~info:"GtkScrolledWindow" xmldata))
method vtables_scrolledwindow = vtables_scrolledwindow
val vtables_view =
new GTree.view (GtkTree.TreeView.cast
(Glade.get_widget_msg ~name:"vtables_view" ~info:"GtkTreeView" xmldata))
method vtables_view = vtables_view
val indexes_view =
new GTree.view (GtkTree.TreeView.cast
(Glade.get_widget_msg ~name:"indexes_view" ~info:"GtkTreeView" xmldata))
method indexes_view = indexes_view
val queries_view =
new GTree.view (GtkTree.TreeView.cast
(Glade.get_widget_msg ~name:"queries_view" ~info:"GtkTreeView" xmldata))
method queries_view = queries_view
val main_statusbar =
new GMisc.statusbar (GtkMisc.Statusbar.cast
(Glade.get_widget_msg ~name:"main_statusbar" ~info:"GtkStatusbar" xmldata))
method main_statusbar = main_statusbar
method reparent parent =
box0#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end
class table_window ?(file="dbforge/dbforge.glade") ?domain ?autoconnect () =
let xmldata = Glade.create ~file ~root:"table_window" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
val toplevel =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"table_window" ~info:"GtkWindow" xmldata))
method toplevel = toplevel
val table_window =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"table_window" ~info:"GtkWindow" xmldata))
method table_window = table_window
val box0 =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"box0" ~info:"GtkVBox" xmldata))
method box0 = box0
val cm_main_table =
new GPack.table (GtkPack.Table.cast
(Glade.get_widget_msg ~name:"cm_main_table" ~info:"GtkTable" xmldata))
method cm_main_table = cm_main_table
val comments_scrolledwindow =
new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
(Glade.get_widget_msg ~name:"comments_scrolledwindow" ~info:"GtkScrolledWindow" xmldata))
method comments_scrolledwindow = comments_scrolledwindow
val comments_textview =
new GText.view (GtkText.View.cast
(Glade.get_widget_msg ~name:"comments_textview" ~info:"GtkTextView" xmldata))
method comments_textview = comments_textview
val name_entry =
new GEdit.entry (GtkEdit.Entry.cast
(Glade.get_widget_msg ~name:"name_entry" ~info:"GtkEntry" xmldata))
method name_entry = name_entry
val logged =
new GButton.toggle_button (GtkButton.ToggleButton.cast
(Glade.get_widget_msg ~name:"logged" ~info:"GtkCheckButton" xmldata))
method logged = logged
val buttons_box =
new GPack.button_box (GtkPack.BBox.cast
(Glade.get_widget_msg ~name:"buttons_box" ~info:"GtkHButtonBox" xmldata))
method buttons_box = buttons_box
val ok_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"ok_button" ~info:"GtkButton" xmldata))
method ok_button = ok_button
val cancel_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"cancel_button" ~info:"GtkButton" xmldata))
method cancel_button = cancel_button
method reparent parent =
box0#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end
class column_window ?(file="dbforge/dbforge.glade") ?domain ?autoconnect () =
let xmldata = Glade.create ~file ~root:"column_window" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
val toplevel =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"column_window" ~info:"GtkWindow" xmldata))
method toplevel = toplevel
val column_window =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"column_window" ~info:"GtkWindow" xmldata))
method column_window = column_window
val box0 =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"box0" ~info:"GtkVBox" xmldata))
method box0 = box0
val name_entry =
new GEdit.entry (GtkEdit.Entry.cast
(Glade.get_widget_msg ~name:"name_entry" ~info:"GtkEntry" xmldata))
method name_entry = name_entry
val ty_combo =
new GEdit.combo (GtkEdit.Combo.cast
(Glade.get_widget_msg ~name:"ty_combo" ~info:"GtkCombo" xmldata))
method ty_combo = ty_combo
val ty_combo_entry =
new GEdit.entry (GtkEdit.Entry.cast
(Glade.get_widget_msg ~name:"ty_combo-entry" ~info:"GtkEntry" xmldata))
method ty_combo_entry = ty_combo_entry
val ty_combo_list =
new GList.liste (GtkList.Liste.cast
(Glade.get_widget_msg ~name:"ty_combo-list" ~info:"GtkList" xmldata))
method ty_combo_list = ty_combo_list
val comments_scrolledwindow =
new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
(Glade.get_widget_msg ~name:"comments_scrolledwindow" ~info:"GtkScrolledWindow" xmldata))
method comments_scrolledwindow = comments_scrolledwindow
val comments_textview =
new GText.view (GtkText.View.cast
(Glade.get_widget_msg ~name:"comments_textview" ~info:"GtkTextView" xmldata))
method comments_textview = comments_textview
val spec_ty_view =
new GTree.view (GtkTree.TreeView.cast
(Glade.get_widget_msg ~name:"spec_ty_view" ~info:"GtkTreeView" xmldata))
method spec_ty_view = spec_ty_view
val add_ty_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"add_ty_button" ~info:"GtkButton" xmldata))
method add_ty_button = add_ty_button
val remove_ty_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"remove_ty_button" ~info:"GtkButton" xmldata))
method remove_ty_button = remove_ty_button
val dispsize_check =
new GButton.toggle_button (GtkButton.ToggleButton.cast
(Glade.get_widget_msg ~name:"dispsize_check" ~info:"GtkCheckButton" xmldata))
method dispsize_check = dispsize_check
val dispsize_spinbutton =
new GEdit.spin_button (GtkEdit.SpinButton.cast
(Glade.get_widget_msg ~name:"dispsize_spinbutton" ~info:"GtkSpinButton" xmldata))
method dispsize_spinbutton = dispsize_spinbutton
val prec_check =
new GButton.toggle_button (GtkButton.ToggleButton.cast
(Glade.get_widget_msg ~name:"prec_check" ~info:"GtkCheckButton" xmldata))
method prec_check = prec_check
val prec_spinbutton =
new GEdit.spin_button (GtkEdit.SpinButton.cast
(Glade.get_widget_msg ~name:"prec_spinbutton" ~info:"GtkSpinButton" xmldata))
method prec_spinbutton = prec_spinbutton
val nullable_check =
new GButton.toggle_button (GtkButton.ToggleButton.cast
(Glade.get_widget_msg ~name:"nullable_check" ~info:"GtkCheckButton" xmldata))
method nullable_check = nullable_check
val other_opts_combo =
new GEdit.combo (GtkEdit.Combo.cast
(Glade.get_widget_msg ~name:"other_opts_combo" ~info:"GtkCombo" xmldata))
method other_opts_combo = other_opts_combo
val other_opts_combo_entry =
new GEdit.entry (GtkEdit.Entry.cast
(Glade.get_widget_msg ~name:"other_opts_combo-entry" ~info:"GtkEntry" xmldata))
method other_opts_combo_entry = other_opts_combo_entry
val other_opts_combo_list =
new GList.liste (GtkList.Liste.cast
(Glade.get_widget_msg ~name:"other_opts_combo-list" ~info:"GtkList" xmldata))
method other_opts_combo_list = other_opts_combo_list
val spec_opts_view =
new GTree.view (GtkTree.TreeView.cast
(Glade.get_widget_msg ~name:"spec_opts_view" ~info:"GtkTreeView" xmldata))
method spec_opts_view = spec_opts_view
val add_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"add_button" ~info:"GtkButton" xmldata))
method add_button = add_button
val remove_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"remove_button" ~info:"GtkButton" xmldata))
method remove_button = remove_button
val up_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"up_button" ~info:"GtkButton" xmldata))
method up_button = up_button
val down_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"down_button" ~info:"GtkButton" xmldata))
method down_button = down_button
val ocamlty_combo =
new GEdit.combo (GtkEdit.Combo.cast
(Glade.get_widget_msg ~name:"ocamlty_combo" ~info:"GtkCombo" xmldata))
method ocamlty_combo = ocamlty_combo
val sql2ml_combo =
new GEdit.combo (GtkEdit.Combo.cast
(Glade.get_widget_msg ~name:"sql2ml_combo" ~info:"GtkCombo" xmldata))
method sql2ml_combo = sql2ml_combo
val ml2sql_combo =
new GEdit.combo (GtkEdit.Combo.cast
(Glade.get_widget_msg ~name:"ml2sql_combo" ~info:"GtkCombo" xmldata))
method ml2sql_combo = ml2sql_combo
val buttons_box =
new GPack.button_box (GtkPack.BBox.cast
(Glade.get_widget_msg ~name:"buttons_box" ~info:"GtkHButtonBox" xmldata))
method buttons_box = buttons_box
val ok_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"ok_button" ~info:"GtkButton" xmldata))
method ok_button = ok_button
val cancel_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"cancel_button" ~info:"GtkButton" xmldata))
method cancel_button = cancel_button
method reparent parent =
box0#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end
class vtable_window ?(file="dbforge/dbforge.glade") ?domain ?autoconnect () =
let xmldata = Glade.create ~file ~root:"vtable_window" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
val toplevel =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"vtable_window" ~info:"GtkWindow" xmldata))
method toplevel = toplevel
val vtable_window =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"vtable_window" ~info:"GtkWindow" xmldata))
method vtable_window = vtable_window
val box0 =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"box0" ~info:"GtkVBox" xmldata))
method box0 = box0
val name_entry =
new GEdit.entry (GtkEdit.Entry.cast
(Glade.get_widget_msg ~name:"name_entry" ~info:"GtkEntry" xmldata))
method name_entry = name_entry
val cm_box =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"cm_box" ~info:"GtkHBox" xmldata))
method cm_box = cm_box
val constr_scrolledwindow =
new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
(Glade.get_widget_msg ~name:"constr_scrolledwindow" ~info:"GtkScrolledWindow" xmldata))
method constr_scrolledwindow = constr_scrolledwindow
val constr_view =
new GTree.view (GtkTree.TreeView.cast
(Glade.get_widget_msg ~name:"constr_view" ~info:"GtkTreeView" xmldata))
method constr_view = constr_view
val add_constr_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"add_constr_button" ~info:"GtkButton" xmldata))
method add_constr_button = add_constr_button
val remove_constr_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"remove_constr_button" ~info:"GtkButton" xmldata))
method remove_constr_button = remove_constr_button
val buttons_box =
new GPack.button_box (GtkPack.BBox.cast
(Glade.get_widget_msg ~name:"buttons_box" ~info:"GtkHButtonBox" xmldata))
method buttons_box = buttons_box
val ok_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"ok_button" ~info:"GtkButton" xmldata))
method ok_button = ok_button
val cancel_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"cancel_button" ~info:"GtkButton" xmldata))
method cancel_button = cancel_button
method reparent parent =
box0#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end
class constraint_window ?(file="dbforge/dbforge.glade") ?domain ?autoconnect () =
let xmldata = Glade.create ~file ~root:"constraint_window" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
val toplevel =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"constraint_window" ~info:"GtkWindow" xmldata))
method toplevel = toplevel
val constraint_window =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"constraint_window" ~info:"GtkWindow" xmldata))
method constraint_window = constraint_window
val box0 =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"box0" ~info:"GtkVBox" xmldata))
method box0 = box0
val view1_scrolled =
new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
(Glade.get_widget_msg ~name:"view1_scrolled" ~info:"GtkScrolledWindow" xmldata))
method view1_scrolled = view1_scrolled
val view2_scrolled =
new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
(Glade.get_widget_msg ~name:"view2_scrolled" ~info:"GtkScrolledWindow" xmldata))
method view2_scrolled = view2_scrolled
val ok_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"ok_button" ~info:"GtkButton" xmldata))
method ok_button = ok_button
val cancel_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"cancel_button" ~info:"GtkButton" xmldata))
method cancel_button = cancel_button
method reparent parent =
box0#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end
class index_window ?(file="dbforge/dbforge.glade") ?domain ?autoconnect () =
let xmldata = Glade.create ~file ~root:"index_window" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
val toplevel =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"index_window" ~info:"GtkWindow" xmldata))
method toplevel = toplevel
val index_window =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"index_window" ~info:"GtkWindow" xmldata))
method index_window = index_window
val box0 =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"box0" ~info:"GtkVBox" xmldata))
method box0 = box0
val cm_main_table =
new GPack.table (GtkPack.Table.cast
(Glade.get_widget_msg ~name:"cm_main_table" ~info:"GtkTable" xmldata))
method cm_main_table = cm_main_table
val tablename_entry =
new GEdit.entry (GtkEdit.Entry.cast
(Glade.get_widget_msg ~name:"tablename_entry" ~info:"GtkEntry" xmldata))
method tablename_entry = tablename_entry
val name_entry =
new GEdit.entry (GtkEdit.Entry.cast
(Glade.get_widget_msg ~name:"name_entry" ~info:"GtkEntry" xmldata))
method name_entry = name_entry
val unique_check =
new GButton.toggle_button (GtkButton.ToggleButton.cast
(Glade.get_widget_msg ~name:"unique_check" ~info:"GtkCheckButton" xmldata))
method unique_check = unique_check
val buttons_box =
new GPack.button_box (GtkPack.BBox.cast
(Glade.get_widget_msg ~name:"buttons_box" ~info:"GtkHButtonBox" xmldata))
method buttons_box = buttons_box
val ok_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"ok_button" ~info:"GtkButton" xmldata))
method ok_button = ok_button
val cancel_button =
new GButton.button (GtkButton.Button.cast
(Glade.get_widget_msg ~name:"cancel_button" ~info:"GtkButton" xmldata))
method cancel_button = cancel_button
method reparent parent =
box0#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end
class query_window ?(file="dbforge/dbforge.glade") ?domain ?autoconnect () =
let xmldata = Glade.create ~file ~root:"query_window" ?domain () in
object (self)
inherit Glade.xml ?autoconnect xmldata
val toplevel =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"query_window" ~info:"GtkWindow" xmldata))
method toplevel = toplevel
val query_window =
new GWindow.window (GtkWindow.Window.cast
(Glade.get_widget_msg ~name:"query_window" ~info:"GtkWindow" xmldata))
method query_window = query_window
val vbox1 =
new GPack.box (GtkPack.Box.cast
(Glade.get_widget_msg ~name:"vbox1" ~info:"GtkVBox" xmldata))
method vbox1 = vbox1
val name_entry =
new GEdit.entry (GtkEdit.Entry.cast
(Glade.get_widget_msg ~name:"name_entry" ~info:"GtkEntry" xmldata))
method name_entry = name_entry
val query_view =
new GText.view (GtkText.View.cast
(Glade.get_widget_msg ~name:"query_view" ~info:"GtkTextView" xmldata))
method query_view = query_view
val comment_view =
new GText.view (GtkText.View.cast
(Glade.get_widget_msg ~name:"comment_view" ~info:"GtkTextView" xmldata))
method comment_view = comment_view
method reparent parent =
vbox1#misc#reparent parent;
toplevel#destroy ()
method check_widgets () = ()
end