package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
method completion : source_completion
method connect : source_view_signals
method source_buffer : source_buffer
method set_show_line_numbers : bool -> unit
method show_line_numbers : bool
method set_highlight_current_line : bool -> unit
method highlight_current_line : bool
method set_tab_width : int -> unit
method tab_width : int
method set_auto_indent : bool -> unit
method auto_indent : bool
method set_insert_spaces_instead_of_tabs : bool -> unit
method insert_spaces_instead_of_tabs : bool
method set_cursor_color : Gdk.color -> unit
method set_draw_spaces : SourceView3Enums.source_draw_spaces_flags list -> unit
method set_mark_attributes : category:string -> source_mark_attributes -> int -> unit
method get_mark_attributes : category:string -> source_mark_attributes option
method get_mark_priority : category:string -> int