package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.