sig
type sopts_view =
Dbf_columnGUI.sopts_view = {
sopt_view : GTree.view;
sopt_string : GTree.view_column;
}
class specific_opts_store :
unit ->
object
val id : int
val obj : Gtk.tree_store
method append : ?parent:Gtk.tree_iter -> unit -> Gtk.tree_iter
method append_data : ?parent:Gtk.tree_iter -> string -> Gtk.tree_iter
method as_model : Gtk.tree_model
method clear : unit -> unit
method coerce : GTree.model
method connect : GTree.tree_sortable_signals
method create_view : ?view:GTree.view -> unit -> sopts_view
method flags : GtkEnums.tree_model_flags list
method foreach : (Gtk.tree_path -> Gtk.tree_iter -> bool) -> unit
method get : row:Gtk.tree_iter -> column:'a GTree.column -> 'a
method get_column_type : int -> Gobject.g_type
method get_data : row:Gtk.tree_iter -> string
method get_iter : Gtk.tree_path -> Gtk.tree_iter
method get_iter_first : Gtk.tree_iter option
method get_path : Gtk.tree_iter -> Gtk.tree_path
method get_row_reference : Gtk.tree_path -> GTree.row_reference
method get_sort_column_id : (int * Gtk.Tags.sort_type) option
method has_default_sort_func : bool
method insert : ?parent:Gtk.tree_iter -> int -> Gtk.tree_iter
method insert_after :
?parent:Gtk.tree_iter -> Gtk.tree_iter -> Gtk.tree_iter
method insert_before :
?parent:Gtk.tree_iter -> Gtk.tree_iter -> Gtk.tree_iter
method insert_data :
?parent:Gtk.tree_iter -> int -> string -> Gtk.tree_iter
method is_ancestor :
iter:Gtk.tree_iter -> descendant:Gtk.tree_iter -> bool
method iter_children :
?nth:int -> Gtk.tree_iter option -> Gtk.tree_iter
method iter_depth : Gtk.tree_iter -> int
method iter_has_child : Gtk.tree_iter -> bool
method iter_is_valid : Gtk.tree_iter -> bool
method iter_n_children : Gtk.tree_iter option -> int
method iter_next : Gtk.tree_iter -> bool
method iter_parent : Gtk.tree_iter -> Gtk.tree_iter option
method misc : GObj.gobject_ops
method move_after : iter:Gtk.tree_iter -> pos:Gtk.tree_iter -> bool
method move_before : iter:Gtk.tree_iter -> pos:Gtk.tree_iter -> bool
method n_columns : int
method prepend : ?parent:Gtk.tree_iter -> unit -> Gtk.tree_iter
method prepend_data : ?parent:Gtk.tree_iter -> string -> Gtk.tree_iter
method remove : Gtk.tree_iter -> bool
method row_changed : Gtk.tree_path -> Gtk.tree_iter -> unit
method set : row:Gtk.tree_iter -> column:'b GTree.column -> 'b -> unit
method set_data : string -> row:Gtk.tree_iter -> unit
method set_default_sort_func :
(GTree.model -> Gtk.tree_iter -> Gtk.tree_iter -> int) -> unit
method set_sort_column_id : int -> Gtk.Tags.sort_type -> unit
method set_sort_func :
int -> (GTree.model -> Gtk.tree_iter -> Gtk.tree_iter -> int) -> unit
method sort_column_changed : unit -> unit
method swap : Gtk.tree_iter -> Gtk.tree_iter -> bool
end
val ask_for_a_specific_option :
?parent:#GWindow.window_skel -> string -> (string * string) option
type column_gui_type =
Dbf_columnGUI.column_gui_type = {
cgi_name : string;
cgi_comment : string;
cgi_type : Dbf_sql.SQL_db.ty;
cgi_nullable : bool;
cgi_options : string list Dbf_misc.StringMap.t;
cgi_spec_ty : string Dbf_misc.StringMap.t;
cgi_ocaml_type : string;
cgi_sql2ml : string;
cgi_ml2sql : string;
}
class column_gui :
(column_gui_type -> 'a) ->
column_gui_type ->
object
method private _cb__add_opt_button_clicked : unit -> unit
method private _cb__add_ty_button_clicked : unit -> unit
method private _cb__cancel_button_clicked : unit -> unit
method private _cb__dispsize_check_toggled : unit -> unit
method private _cb__down_opt_button_clicked : unit -> unit
method private _cb__ok_button_clicked : unit -> unit
method private _cb__prec_check_toggled : unit -> unit
method private _cb__remove_opt_button_clicked : unit -> unit
method private _cb__remove_ty_button_clicked : unit -> unit
method private _cb__ty_changed : GList.list_item -> unit
method private _cb__up_opt_button_clicked : unit -> unit
method private _get_dispsize : int option
method private _get_precision : int option
method private _grab_input : column_gui_type
method add_new_option : string * string -> unit
method add_new_spec_type : string -> string -> unit
method start : unit -> unit
end
end