package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of GSourceView3

GtkSourceView interface

GtkSourceStyleScheme

GtkSourceStyleSchemeManager

val source_style_scheme_manager : default:bool -> source_style_scheme_manager

GtkSourceCompletionInfo

GtkSourceCompletionProposal

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

GtkSourceCompletionProvider

GtkSourceCompletionContext

class type custom_completion_provider = object ... end
val source_completion_provider : custom_completion_provider -> source_completion_provider

GtkSourceCompletion

GtkSourceLanguage

GtkSourceLanguageManager

val source_language_manager : default:bool -> source_language_manager

GtkSourceMark

class source_mark : GtkSourceView3_types.source_mark Gtk.obj as 'a -> object ... end
val source_mark : ?category:string -> unit -> source_mark
val source_mark_attributes : unit -> source_mark_attributes

GtkSourceUndoManager

class type custom_undo_manager = object ... end
val source_undo_manager : custom_undo_manager -> source_undo_manager

GtkSourceBuffer

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

GtkSourceView

class source_view_signals : [> GtkSourceView3_types.source_view ] as 'b 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

Misc

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