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 -> unitmethod set_auto_complete_delay : 'a -> int -> unitmethod set_proposal_page_size : 'a -> int -> unitmethod set_provider_page_size : 'a -> int -> unitmethod set_remember_info_visibility : 'a -> bool -> unitmethod set_select_on_show : 'a -> bool -> unitmethod set_show_icons : 'a -> bool -> unitmethod accelerators : 'a -> intmethod auto_complete_delay : 'a -> intmethod proposal_page_size : 'a -> intmethod provider_page_size : 'a -> intmethod remember_info_visibility : 'a -> boolmethod select_on_show : 'a -> boolmethod show_icons : 'a -> boolmethod block_interactive : 'a -> unit -> unitmethod hide : 'a -> unit -> unitmethod unblock_interactive : 'a -> unit -> unit