package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
method accelerators : int
method add_provider : source_completion_provider -> bool
method as_source_completion : GtkSourceView3_types.source_completion Gtk.obj
method auto_complete_delay : int
method block_interactive : unit -> unit
method connect : source_completion_signals
method create_context : GText.iter -> source_completion_context
method hide : unit -> unit
method move_window : GText.iter -> unit
method proposal_page_size : int
method providers : source_completion_provider list
method provider_page_size : int
method remember_info_visibility : bool
method remove_provider : source_completion_provider -> bool
method select_on_show : bool
method set_accelerators : int -> unit
method set_auto_complete_delay : int -> unit
method set_proposal_page_size : int -> unit
method set_provider_page_size : int -> unit
method set_remember_info_visibility : bool -> unit
method set_select_on_show : bool -> unit
method set_show_headers : bool -> unit
method set_show_icons : bool -> unit
method show_headers : bool
method show_icons : bool
method unblock_interactive : unit -> unit