package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
inherit GText.view_signals
method line_mark_activated : callback:(Gtk.text_iter -> GdkEvent.any -> unit) -> GtkSignal.id
method move_lines : callback:(bool -> int -> unit) -> GtkSignal.id
method move_words : callback:(int -> unit) -> GtkSignal.id
method redo : callback:(unit -> unit) -> GtkSignal.id
method show_completion : callback:(unit -> unit) -> GtkSignal.id
method smart_home_end : callback:(Gtk.text_iter -> int -> unit) -> GtkSignal.id
method undo : callback:(unit -> unit) -> GtkSignal.id
method notify_auto_indent : callback:(bool -> unit) -> GtkSignal.id
method notify_highlight_current_line : callback:(bool -> unit) -> GtkSignal.id
method notify_indent_on_tab : callback:(bool -> unit) -> GtkSignal.id
method notify_indent_width : callback:(int -> unit) -> GtkSignal.id
method notify_insert_spaces_instead_of_tabs : callback:(bool -> unit) -> GtkSignal.id
method notify_right_margin_position : callback:(int -> unit) -> GtkSignal.id
method notify_show_line_marks : callback:(bool -> unit) -> GtkSignal.id
method notify_show_line_numbers : callback:(bool -> unit) -> GtkSignal.id
method notify_show_right_margin : callback:(bool -> unit) -> GtkSignal.id
method notify_smart_home_end : callback: (SourceView3Enums.source_smart_home_end_type -> unit) -> GtkSignal.id
method notify_tab_width : callback:(int -> unit) -> GtkSignal.id
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