Class OgtkSourceView3Props.source_completion_props
method set_accelerators : < accelerators : int; auto_complete_delay : int; block_interactive : unit -> unit; hide : unit -> unit; proposal_page_size : int; provider_page_size : int; remember_info_visibility : bool; select_on_show : bool; set_accelerators : int -> unit; set_auto_complete_delay : int -> unit; set_proposal_page_size : int -> unit; set_provider_page_size : int -> unit; set_remember_info_visibility : bool -> unit; set_select_on_show : bool -> unit; set_show_headers : bool -> unit; set_show_icons : bool -> unit; show_headers : bool; show_icons : bool; unblock_interactive : unit -> unit; .. > -> int -> unit
method set_auto_complete_delay : 'a -> int -> unit
method set_proposal_page_size : 'a -> int -> unit
method set_provider_page_size : 'a -> int -> unit
method set_remember_info_visibility : 'a -> bool -> unit
method set_select_on_show : 'a -> bool -> unit
method set_show_icons : 'a -> bool -> unit
method accelerators : 'a -> int
method auto_complete_delay : 'a -> int
method proposal_page_size : 'a -> int
method provider_page_size : 'a -> int
method remember_info_visibility : 'a -> bool
method select_on_show : 'a -> bool
method show_icons : 'a -> bool
method block_interactive : 'a -> unit -> unit
method hide : 'a -> unit -> unit
method unblock_interactive : 'a -> unit -> unit