<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <link rel="Start" href="index.html"> <title>LablGTK : GEdit</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">class</span> editable_signals :<br> [> <span class="constructor">Gtk</span>.editable ] <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>a)<br> <span class="keyword">method</span> after : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> changed : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> delete_text :<br> callback:(start:int <span class="keywordsign">-></span> stop:int <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> destroy : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> insert_text :<br> callback:(string <span class="keywordsign">-></span> pos:int <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">end</span><br> <span class="keyword">class</span> editable :<br> ([> <span class="constructor">Gtk</span>.editable ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span><br> <span class="keyword">object</span><br> <span class="keyword">val</span> obj : <span class="keywordsign">'</span>a <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> as_widget : <span class="constructor">Gtk</span>.widget <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> coerce : <span class="constructor">GObj</span>.widget<br> <span class="keyword">method</span> copy_clipboard : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> cut_clipboard : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> delete_selection : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> delete_text : start:int <span class="keywordsign">-></span> stop:int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> destroy : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> drag : <span class="constructor">GObj</span>.drag_ops<br> <span class="keyword">method</span> editable : bool<br> <span class="keyword">method</span> get_chars : start:int <span class="keywordsign">-></span> stop:int <span class="keywordsign">-></span> string<br> <span class="keyword">method</span> get_oid : int<br> <span class="keyword">method</span> insert_text : string <span class="keywordsign">-></span> pos:int <span class="keywordsign">-></span> int<br> <span class="keyword">method</span> misc : <span class="constructor">GObj</span>.misc_ops<br> <span class="keyword">method</span> <span class="keyword">private</span> obj : <span class="keywordsign">'</span>a <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> paste_clipboard : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> position : int<br> <span class="keyword">method</span> select_region : start:int <span class="keywordsign">-></span> stop:int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> selection : (int * int) option<br> <span class="keyword">method</span> set_editable : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_position : int <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">class</span> entry_completion_signals :<br> [> <span class="keywordsign">`</span>entrycompletion ] <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>a)<br> <span class="keyword">method</span> action_activated : callback:(int <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> after : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> match_selected :<br> callback:(<span class="constructor">GTree</span>.model_filter <span class="keywordsign">-></span> <span class="constructor">Gtk</span>.tree_iter <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span><br> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">end</span><br> <span class="keyword">class</span> entry_completion :<br> ([> <span class="keywordsign">`</span>celllayout <span class="keywordsign">|</span> <span class="keywordsign">`</span>entrycompletion ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span><br> <span class="keyword">object</span><br> <span class="keyword">val</span> obj : <span class="keywordsign">'</span>a <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> add_attribute :<br> <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">GTree</span>.column <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> as_entry_completion : <span class="constructor">Gtk</span>.entry_completion<br> <span class="keyword">method</span> clear : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> clear_attributes : <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> complete : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> connect : <span class="constructor">GEdit</span>.entry_completion_signals<br> <span class="keyword">method</span> delete_action : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> get_entry : <span class="constructor">GObj</span>.widget option<br> <span class="keyword">method</span> insert_action_markup : int <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> insert_action_text : int <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> minimum_key_length : int<br> <span class="keyword">method</span> misc : <span class="constructor">GObj</span>.gobject_ops<br> <span class="keyword">method</span> model : <span class="constructor">GTree</span>.model<br> <span class="keyword">method</span> pack :<br> ?expand:bool <span class="keywordsign">-></span><br> ?from:<span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.pack_type <span class="keywordsign">-></span> <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> reorder : <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_cell_data_func :<br> <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span><br> (<span class="constructor">GTree</span>.model <span class="keywordsign">-></span> <span class="constructor">Gtk</span>.tree_iter <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_match_func : (string <span class="keywordsign">-></span> <span class="constructor">Gtk</span>.tree_iter <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_minimum_key_length : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_model : <span class="constructor">GTree</span>.model <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_text_column : string <span class="constructor">GTree</span>.column <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> unset_cell_data_func : <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">class</span> entry_signals :<br> [> <span class="constructor">Gtk</span>.entry ] <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>a)<br> <span class="keyword">method</span> activate : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> after : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> changed : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> copy_clipboard : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> cut_clipboard : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> delete_from_cursor :<br> callback:(<span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.delete_type <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> delete_text :<br> callback:(start:int <span class="keywordsign">-></span> stop:int <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> destroy : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> insert_at_cursor : callback:(string <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> insert_text :<br> callback:(string <span class="keywordsign">-></span> pos:int ref <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> move_cursor :<br> callback:(<span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.movement_step <span class="keywordsign">-></span> int <span class="keywordsign">-></span> extend:bool <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span><br> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> paste_clipboard : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> populate_popup : callback:(<span class="constructor">GMenu</span>.menu <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> toggle_overwrite : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">end</span><br> <span class="keyword">class</span> entry :<br> ([> <span class="constructor">Gtk</span>.entry ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span><br> <span class="keyword">object</span><br> <span class="keyword">val</span> obj : <span class="keywordsign">'</span>a <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> activates_default : bool<br> <span class="keyword">method</span> append_text : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> as_widget : <span class="constructor">Gtk</span>.widget <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> coerce : <span class="constructor">GObj</span>.widget<br> <span class="keyword">method</span> connect : <span class="constructor">GEdit</span>.entry_signals<br> <span class="keyword">method</span> copy_clipboard : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> cut_clipboard : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> delete_selection : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> delete_text : start:int <span class="keywordsign">-></span> stop:int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> destroy : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> drag : <span class="constructor">GObj</span>.drag_ops<br> <span class="keyword">method</span> editable : bool<br> <span class="keyword">method</span> event : <span class="constructor">GObj</span>.event_ops<br> <span class="keyword">method</span> get_chars : start:int <span class="keywordsign">-></span> stop:int <span class="keywordsign">-></span> string<br> <span class="keyword">method</span> get_completion : <span class="constructor">GEdit</span>.entry_completion option<br> <span class="keyword">method</span> get_oid : int<br> <span class="keyword">method</span> has_frame : bool<br> <span class="keyword">method</span> insert_text : string <span class="keywordsign">-></span> pos:int <span class="keywordsign">-></span> int<br> <span class="keyword">method</span> invisible_char : int<br> <span class="keyword">method</span> max_length : int<br> <span class="keyword">method</span> misc : <span class="constructor">GObj</span>.misc_ops<br> <span class="keyword">method</span> <span class="keyword">private</span> obj : <span class="keywordsign">'</span>a <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> paste_clipboard : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> position : int<br> <span class="keyword">method</span> prepend_text : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> scroll_offset : int<br> <span class="keyword">method</span> select_region : start:int <span class="keywordsign">-></span> stop:int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> selection : (int * int) option<br> <span class="keyword">method</span> set_activates_default : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_completion : <span class="constructor">GEdit</span>.entry_completion <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_editable : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_has_frame : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_invisible_char : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_max_length : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_position : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_text : string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_visibility : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_width_chars : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_xalign : float <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> text : string<br> <span class="keyword">method</span> text_length : int<br> <span class="keyword">method</span> visibility : bool<br> <span class="keyword">method</span> width_chars : int<br> <span class="keyword">method</span> xalign : float<br> <span class="keyword">end</span><br> <span class="keyword">val</span> entry :<br> ?text:string <span class="keywordsign">-></span><br> ?visibility:bool <span class="keywordsign">-></span><br> ?max_length:int <span class="keywordsign">-></span><br> ?activates_default:bool <span class="keywordsign">-></span><br> ?editable:bool <span class="keywordsign">-></span><br> ?has_frame:bool <span class="keywordsign">-></span><br> ?width_chars:int <span class="keywordsign">-></span><br> ?xalign:float <span class="keywordsign">-></span><br> ?width:int <span class="keywordsign">-></span><br> ?height:int <span class="keywordsign">-></span><br> ?packing:(<span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> ?show:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> <span class="constructor">GEdit</span>.entry<br> <span class="keyword">val</span> entry_completion :<br> ?model:<span class="keywordsign">#</span><span class="constructor">GTree</span>.model <span class="keywordsign">-></span><br> ?minimum_key_length:int <span class="keywordsign">-></span><br> ?entry:<span class="constructor">GEdit</span>.entry <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> <span class="constructor">GEdit</span>.entry_completion<br> <span class="keyword">class</span> spin_button_signals :<br> [> <span class="constructor">Gtk</span>.spin_button ] <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>a)<br> <span class="keyword">method</span> activate : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> after : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> change_value :<br> callback:(<span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.scroll_type <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> changed : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> copy_clipboard : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> cut_clipboard : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> delete_from_cursor :<br> callback:(<span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.delete_type <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> delete_text :<br> callback:(start:int <span class="keywordsign">-></span> stop:int <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> destroy : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> input : callback:(unit <span class="keywordsign">-></span> int) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> insert_at_cursor : callback:(string <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> insert_text :<br> callback:(string <span class="keywordsign">-></span> pos:int ref <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> move_cursor :<br> callback:(<span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.movement_step <span class="keywordsign">-></span> int <span class="keywordsign">-></span> extend:bool <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span><br> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> output : callback:(unit <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> paste_clipboard : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> populate_popup : callback:(<span class="constructor">GMenu</span>.menu <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> toggle_overwrite : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> value_changed : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> wrapped : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">end</span><br> <span class="keyword">class</span> spin_button :<br> <span class="constructor">Gtk</span>.spin_button <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span><br> <span class="keyword">object</span><br> <span class="keyword">val</span> obj : <span class="constructor">Gtk</span>.spin_button <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> adjustment : <span class="constructor">GData</span>.adjustment<br> <span class="keyword">method</span> as_widget : <span class="constructor">Gtk</span>.widget <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> coerce : <span class="constructor">GObj</span>.widget<br> <span class="keyword">method</span> connect : <span class="constructor">GEdit</span>.spin_button_signals<br> <span class="keyword">method</span> destroy : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> digits : int<br> <span class="keyword">method</span> drag : <span class="constructor">GObj</span>.drag_ops<br> <span class="keyword">method</span> event : <span class="constructor">GObj</span>.event_ops<br> <span class="keyword">method</span> get_oid : int<br> <span class="keyword">method</span> misc : <span class="constructor">GObj</span>.misc_ops<br> <span class="keyword">method</span> numeric : bool<br> <span class="keyword">method</span> rate : float<br> <span class="keyword">method</span> set_adjustment : <span class="constructor">GData</span>.adjustment <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_digits : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_numeric : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_rate : float <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_snap_to_ticks : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_update_policy : [ <span class="keywordsign">`</span><span class="constructor">ALWAYS</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">IF_VALID</span> ] <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_value : float <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_wrap : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> snap_to_ticks : bool<br> <span class="keyword">method</span> spin : <span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.spin_type <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> update : unit<br> <span class="keyword">method</span> update_policy : [ <span class="keywordsign">`</span><span class="constructor">ALWAYS</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">IF_VALID</span> ]<br> <span class="keyword">method</span> value : float<br> <span class="keyword">method</span> value_as_int : int<br> <span class="keyword">method</span> wrap : bool<br> <span class="keyword">end</span><br> <span class="keyword">val</span> spin_button :<br> ?adjustment:<span class="constructor">GData</span>.adjustment <span class="keywordsign">-></span><br> ?rate:float <span class="keywordsign">-></span><br> ?digits:int <span class="keywordsign">-></span><br> ?numeric:bool <span class="keywordsign">-></span><br> ?snap_to_ticks:bool <span class="keywordsign">-></span><br> ?update_policy:[ <span class="keywordsign">`</span><span class="constructor">ALWAYS</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">IF_VALID</span> ] <span class="keywordsign">-></span><br> ?value:float <span class="keywordsign">-></span><br> ?wrap:bool <span class="keywordsign">-></span><br> ?width:int <span class="keywordsign">-></span><br> ?height:int <span class="keywordsign">-></span><br> ?packing:(<span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> ?show:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> <span class="constructor">GEdit</span>.spin_button<br> <span class="keyword">class</span> combo :<br> <span class="constructor">Gtk</span>.combo <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span><br> <span class="keyword">object</span><br> <span class="keyword">val</span> obj : <span class="constructor">Gtk</span>.combo <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> allow_empty : bool<br> <span class="keyword">method</span> as_widget : <span class="constructor">Gtk</span>.widget <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> case_sensitive : bool<br> <span class="keyword">method</span> coerce : <span class="constructor">GObj</span>.widget<br> <span class="keyword">method</span> destroy : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> disable_activate : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> drag : <span class="constructor">GObj</span>.drag_ops<br> <span class="keyword">method</span> enable_arrow_keys : bool<br> <span class="keyword">method</span> entry : <span class="constructor">GEdit</span>.entry<br> <span class="keyword">method</span> get_oid : int<br> <span class="keyword">method</span> list : <span class="constructor">GList</span>.liste<br> <span class="keyword">method</span> misc : <span class="constructor">GObj</span>.misc_ops<br> <span class="keyword">method</span> set_allow_empty : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_case_sensitive : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_enable_arrow_keys : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_item_string : <span class="constructor">GList</span>.list_item <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_popdown_strings : string list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_value_in_list : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> value_in_list : bool<br> <span class="keyword">end</span><br> <span class="keyword">val</span> combo :<br> ?popdown_strings:string list <span class="keywordsign">-></span><br> ?allow_empty:bool <span class="keywordsign">-></span><br> ?case_sensitive:bool <span class="keywordsign">-></span><br> ?enable_arrow_keys:bool <span class="keywordsign">-></span><br> ?value_in_list:bool <span class="keywordsign">-></span><br> ?border_width:int <span class="keywordsign">-></span><br> ?width:int <span class="keywordsign">-></span><br> ?height:int <span class="keywordsign">-></span><br> ?packing:(<span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> ?show:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> <span class="constructor">GEdit</span>.combo<br> <span class="keyword">class</span> combo_box_signals :<br> [> <span class="constructor">Gtk</span>.combo_box ] <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>a)<br> <span class="keyword">method</span> add : callback:(<span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> after : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> changed : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> destroy : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> remove : callback:(<span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">end</span><br> <span class="keyword">class</span> combo_box :<br> ([> <span class="constructor">Gtk</span>.combo_box ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span><br> <span class="keyword">object</span><br> <span class="keyword">val</span> obj : <span class="keywordsign">'</span>a <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> active : int<br> <span class="keyword">method</span> active_iter : <span class="constructor">Gtk</span>.tree_iter option<br> <span class="keyword">method</span> add : <span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> add_attribute :<br> <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">GTree</span>.column <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> add_tearoffs : bool<br> <span class="keyword">method</span> all_children : <span class="constructor">GObj</span>.widget list<br> <span class="keyword">method</span> as_widget : <span class="constructor">Gtk</span>.widget <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> border_width : int<br> <span class="keyword">method</span> child : <span class="constructor">GObj</span>.widget<br> <span class="keyword">method</span> children : <span class="constructor">GObj</span>.widget list<br> <span class="keyword">method</span> clear : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> clear_attributes : <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> coerce : <span class="constructor">GObj</span>.widget<br> <span class="keyword">method</span> connect : <span class="constructor">GEdit</span>.combo_box_signals<br> <span class="keyword">method</span> destroy : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> drag : <span class="constructor">GObj</span>.drag_ops<br> <span class="keyword">method</span> event : <span class="constructor">GObj</span>.event_ops<br> <span class="keyword">method</span> focus : <span class="constructor">GContainer</span>.focus<br> <span class="keyword">method</span> focus_on_click : bool<br> <span class="keyword">method</span> get_oid : int<br> <span class="keyword">method</span> has_frame : bool<br> <span class="keyword">method</span> misc : <span class="constructor">GObj</span>.misc_ops<br> <span class="keyword">method</span> model : <span class="constructor">GTree</span>.model<br> <span class="keyword">method</span> pack :<br> ?expand:bool <span class="keywordsign">-></span><br> ?from:<span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.pack_type <span class="keywordsign">-></span> <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove : <span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> reorder : <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> resize_mode : <span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.resize_mode<br> <span class="keyword">method</span> set_active : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_active_iter : <span class="constructor">Gtk</span>.tree_iter option <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_add_tearoffs : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_border_width : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_cell_data_func :<br> <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span><br> (<span class="constructor">GTree</span>.model <span class="keywordsign">-></span> <span class="constructor">Gtk</span>.tree_iter <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_column_span_column : int <span class="constructor">GTree</span>.column <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_focus_on_click : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_has_frame : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_model : <span class="constructor">GTree</span>.model <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_resize_mode : <span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.resize_mode <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_row_separator_func :<br> (<span class="constructor">GTree</span>.model <span class="keywordsign">-></span> <span class="constructor">Gtk</span>.tree_iter <span class="keywordsign">-></span> bool) option <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_row_span_column : int <span class="constructor">GTree</span>.column <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_wrap_width : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> unset_cell_data_func : <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> wrap_width : int<br> <span class="keyword">end</span><br> <span class="keyword">val</span> combo_box :<br> ?model:<span class="keywordsign">#</span><span class="constructor">GTree</span>.model <span class="keywordsign">-></span><br> ?active:int <span class="keywordsign">-></span><br> ?add_tearoffs:bool <span class="keywordsign">-></span><br> ?focus_on_click:bool <span class="keywordsign">-></span><br> ?has_frame:bool <span class="keywordsign">-></span><br> ?wrap_width:int <span class="keywordsign">-></span><br> ?width:int <span class="keywordsign">-></span><br> ?height:int <span class="keywordsign">-></span><br> ?packing:(<span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> ?show:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> <span class="constructor">GEdit</span>.combo_box<br> <span class="keyword">class</span> combo_box_entry :<br> ([> <span class="constructor">Gtk</span>.combo_box_entry ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span><br> <span class="keyword">object</span><br> <span class="keyword">val</span> obj : <span class="keywordsign">'</span>a <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> active : int<br> <span class="keyword">method</span> active_iter : <span class="constructor">Gtk</span>.tree_iter option<br> <span class="keyword">method</span> add : <span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> add_attribute :<br> <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">GTree</span>.column <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> add_tearoffs : bool<br> <span class="keyword">method</span> all_children : <span class="constructor">GObj</span>.widget list<br> <span class="keyword">method</span> as_widget : <span class="constructor">Gtk</span>.widget <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> border_width : int<br> <span class="keyword">method</span> child : <span class="constructor">GObj</span>.widget<br> <span class="keyword">method</span> children : <span class="constructor">GObj</span>.widget list<br> <span class="keyword">method</span> clear : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> clear_attributes : <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> coerce : <span class="constructor">GObj</span>.widget<br> <span class="keyword">method</span> connect : combo_box_signals<br> <span class="keyword">method</span> destroy : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> drag : <span class="constructor">GObj</span>.drag_ops<br> <span class="keyword">method</span> entry : <span class="constructor">GEdit</span>.entry<br> <span class="keyword">method</span> event : <span class="constructor">GObj</span>.event_ops<br> <span class="keyword">method</span> focus : <span class="constructor">GContainer</span>.focus<br> <span class="keyword">method</span> focus_on_click : bool<br> <span class="keyword">method</span> get_oid : int<br> <span class="keyword">method</span> has_frame : bool<br> <span class="keyword">method</span> misc : <span class="constructor">GObj</span>.misc_ops<br> <span class="keyword">method</span> model : <span class="constructor">GTree</span>.model<br> <span class="keyword">method</span> pack :<br> ?expand:bool <span class="keywordsign">-></span><br> ?from:<span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.pack_type <span class="keywordsign">-></span> <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> remove : <span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> reorder : <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> resize_mode : <span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.resize_mode<br> <span class="keyword">method</span> set_active : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_active_iter : <span class="constructor">Gtk</span>.tree_iter option <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_add_tearoffs : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_border_width : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_cell_data_func :<br> <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span><br> (<span class="constructor">GTree</span>.model <span class="keywordsign">-></span> <span class="constructor">Gtk</span>.tree_iter <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_column_span_column : int <span class="constructor">GTree</span>.column <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_focus_on_click : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_has_frame : bool <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_model : <span class="constructor">GTree</span>.model <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_resize_mode : <span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.resize_mode <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_row_separator_func :<br> (<span class="constructor">GTree</span>.model <span class="keywordsign">-></span> <span class="constructor">Gtk</span>.tree_iter <span class="keywordsign">-></span> bool) option <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_row_span_column : int <span class="constructor">GTree</span>.column <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_text_column : string <span class="constructor">GTree</span>.column <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_wrap_width : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> text_column : string <span class="constructor">GTree</span>.column<br> <span class="keyword">method</span> unset_cell_data_func : <span class="keywordsign">#</span><span class="constructor">GTree</span>.cell_renderer <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> wrap_width : int<br> <span class="keyword">end</span><br> <span class="keyword">val</span> combo_box_entry :<br> ?model:<span class="keywordsign">#</span><span class="constructor">GTree</span>.model <span class="keywordsign">-></span><br> ?text_column:string <span class="constructor">GTree</span>.column <span class="keywordsign">-></span><br> ?active:int <span class="keywordsign">-></span><br> ?add_tearoffs:bool <span class="keywordsign">-></span><br> ?focus_on_click:bool <span class="keywordsign">-></span><br> ?has_frame:bool <span class="keywordsign">-></span><br> ?wrap_width:int <span class="keywordsign">-></span><br> ?width:int <span class="keywordsign">-></span><br> ?height:int <span class="keywordsign">-></span><br> ?packing:(<span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span><br> ?show:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> <span class="constructor">GEdit</span>.combo_box_entry<br> <span class="keyword">type</span> <span class="keywordsign">'</span>a text_combo = <span class="keywordsign">'</span>a * (<span class="constructor">GTree</span>.list_store * string <span class="constructor">GTree</span>.column)<br> <span class="keyword">constraint</span> <span class="keywordsign">'</span>a = <span class="keywordsign">#</span><span class="constructor">GEdit</span>.combo_box<br> <span class="keyword">val</span> text_combo_add : <span class="keywordsign">#</span><span class="constructor">GEdit</span>.combo_box <span class="constructor">GEdit</span>.text_combo <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> text_combo_get_active :<br> <span class="keywordsign">#</span><span class="constructor">GEdit</span>.combo_box <span class="constructor">GEdit</span>.text_combo <span class="keywordsign">-></span> string option<br> <span class="keyword">val</span> combo_box_text :<br> ?strings:string list <span class="keywordsign">-></span><br> ?use_markup:bool <span class="keywordsign">-></span><br> ?active:int <span class="keywordsign">-></span><br> ?add_tearoffs:bool <span class="keywordsign">-></span><br> ?focus_on_click:bool <span class="keywordsign">-></span><br> ?has_frame:bool <span class="keywordsign">-></span><br> ?wrap_width:int <span class="keywordsign">-></span><br> ?width:int <span class="keywordsign">-></span><br> ?height:int <span class="keywordsign">-></span><br> ?packing:(<span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span><br> ?show:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> <span class="constructor">GEdit</span>.combo_box <span class="constructor">GEdit</span>.text_combo<br> <span class="keyword">val</span> combo_box_entry_text :<br> ?strings:string list <span class="keywordsign">-></span><br> ?active:int <span class="keywordsign">-></span><br> ?add_tearoffs:bool <span class="keywordsign">-></span><br> ?focus_on_click:bool <span class="keywordsign">-></span><br> ?has_frame:bool <span class="keywordsign">-></span><br> ?wrap_width:int <span class="keywordsign">-></span><br> ?width:int <span class="keywordsign">-></span><br> ?height:int <span class="keywordsign">-></span><br> ?packing:(<span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span><br> ?show:bool <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> <span class="constructor">GEdit</span>.combo_box_entry <span class="constructor">GEdit</span>.text_combo<br> <span class="keyword">end</span></code></body></html>