Class Dbf_indexGUI.index_gui

class index_gui : (table_gui_input -> 'a) -> table_gui_input -> object .. end

method private _grab_input : table_gui_input

method set_columns : Dbf_sql.SQL_db.column list * Dbf_sql.SQL_db.column list -> unit

method columns_in_index : Dbf_sql.SQL_db.column list

method private _cb__ok_button_clicked : unit -> unit

method private _cb__cancel_button_clicked : unit -> unit

method start : unit -> unit