package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
inherit GText.buffer_skel
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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct