package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
method connect : source_buffer_signals
method misc : GObj.gobject_ops
method highlight_syntax : bool
method set_highlight_syntax : bool -> unit
method language : source_language option
method set_language : source_language option -> unit
method highlight_matching_brackets : bool
method set_highlight_matching_brackets : bool -> unit
method style_scheme : source_style_scheme option
method set_style_scheme : source_style_scheme option -> unit
method max_undo_levels : int
method set_max_undo_levels : int -> unit
method undo : unit -> unit
method redo : unit -> unit
method can_undo : bool
method can_redo : bool
method begin_not_undoable_action : unit -> unit
method end_not_undoable_action : unit -> unit
method create_source_mark : ?name:string -> ?category:string -> GText.iter -> source_mark
method source_marks_at_line : ?category:string -> int -> source_mark list
method source_marks_at_iter : ?category:string -> GText.iter -> source_mark list
method remove_source_marks : ?category:string -> start:GText.iter -> stop:GText.iter -> unit -> unit
method forward_iter_to_source_mark : ?category:string -> GText.iter -> bool
method backward_iter_to_source_mark : ?category:string -> GText.iter -> bool
method iter_has_context_class : GText.iter -> string -> bool
method iter_forward_to_context_class_toggle : GText.iter -> string -> bool
method iter_backward_to_context_class_toggle : GText.iter -> string -> bool
method ensure_highlight : start:GText.iter -> stop:GText.iter -> unit
method undo_manager : source_undo_manager
method set_undo_manager : source_undo_manager -> unit