package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of GSourceView3
class source_style_scheme : GtkSourceView3_types.source_style_scheme Gtk.obj -> object ... end
class source_style_scheme_manager : GtkSourceView3_types.source_style_scheme_manager Gtk.obj -> object ... end
val source_style_scheme_manager : default:bool -> source_style_scheme_manager
class source_completion_info_signals : GtkSourceView3_types.source_completion_info Gtk.obj -> object ... end
class source_completion_info : [> GtkSourceView3_types.source_completion_info ] as 'b Gtk.obj -> object ... end
class source_completion_proposal_signals : GtkSourceView3_types.source_completion_proposal Gtk.obj -> object ... end
class source_completion_proposal : GtkSourceView3_types.source_completion_proposal Gtk.obj -> object ... end
class source_completion_item : GtkSourceView3_types.source_completion_proposal Gtk.obj -> object ... end
val source_completion_item : ?label:string -> ?text:string -> ?icon:GdkPixbuf.pixbuf -> ?info:string -> unit -> source_completion_item
val source_completion_item_with_markup : ?label:string -> ?text:string -> ?icon:GdkPixbuf.pixbuf -> ?info:string -> unit -> source_completion_item
val source_completion_item_from_stock : ?label:string -> ?text:string -> stock:GtkStock.id -> info:string -> unit -> source_completion_item
class source_completion_provider : GtkSourceView3_types.source_completion_provider Gtk.obj -> object ... end
class source_completion_context_signals : GtkSourceView3_types.source_completion_context Gtk.obj -> object ... end
class source_completion_context : GtkSourceView3_types.source_completion_context Gtk.obj -> object ... end
class type custom_completion_provider = object ... end
val source_completion_provider : custom_completion_provider -> source_completion_provider
class source_completion_signals : GtkSourceView3_types.source_completion Gtk.obj -> object ... end
class source_completion : GtkSourceView3_types.source_completion Gtk.obj -> object ... end
class source_language : GtkSourceView3_types.source_language Gtk.obj -> object ... end
class source_language_manager : GtkSourceView3_types.source_language_manager Gtk.obj -> object ... end
val source_language_manager : default:bool -> source_language_manager
class source_mark : GtkSourceView3_types.source_mark Gtk.obj -> object ... end
val source_mark : ?category:string -> unit -> source_mark
class source_mark_attributes : GtkSourceView3_types.source_mark_attributes Gtk.obj -> object ... end
val source_mark_attributes : unit -> source_mark_attributes
class source_undo_manager_signals : GtkSourceView3_types.source_undo_manager Gtk.obj -> object ... end
class source_undo_manager : GtkSourceView3_types.source_undo_manager Gtk.obj -> object ... end
class type custom_undo_manager = object ... end
val source_undo_manager : custom_undo_manager -> source_undo_manager
class source_buffer_signals : GtkSourceView3_types.source_buffer Gtk.obj -> object ... end
class source_buffer : GtkSourceView3_types.source_buffer Gtk.obj -> object ... end
val source_buffer : ?language:source_language -> ?style_scheme:source_style_scheme -> ?tag_table:GText.tag_table -> ?text:string -> ?undo_manager:source_undo_manager -> ?highlight_matching_brackets:bool -> ?highlight_syntax:bool -> ?max_undo_levels:int -> unit -> source_buffer
class source_view_signals : [> GtkSourceView3_types.source_view ] Gtk.obj -> object ... end
class source_view : GtkSourceView3_types.source_view Gtk.obj -> object ... end
val source_view : ?source_buffer:source_buffer -> ?draw_spaces:SourceView3Enums.source_draw_spaces_flags list -> ?auto_indent:bool -> ?highlight_current_line:bool -> ?indent_on_tab:bool -> ?indent_width:int -> ?insert_spaces_instead_of_tabs:bool -> ?right_margin_position:int -> ?show_line_marks:bool -> ?show_line_numbers:bool -> ?show_right_margin:bool -> ?smart_home_end:SourceView3Enums.source_smart_home_end_type -> ?tab_width:int -> ?editable:bool -> ?cursor_visible:bool -> ?justification:GtkEnums.justification -> ?wrap_mode:GtkEnums.wrap_mode -> ?accepts_tab:bool -> ?border_width:int -> ?width:int -> ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> source_view
val make_marker_attributes : source:source_view -> category:string -> priority:int -> ?background:Gdk.rgba -> ?pixbuf:GdkPixbuf.pixbuf -> ?icon_name:string -> unit -> 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