package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
method after : 'b
method copy_clipboard : callback:(unit -> unit) -> GtkSignal.id
method cut_clipboard : callback:(unit -> unit) -> GtkSignal.id
method delete_from_cursor : callback:(Gtk.Tags.delete_type -> int -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method insert_at_cursor : callback:(string -> unit) -> GtkSignal.id
method line_mark_activated : callback:(Gtk.text_iter -> GdkEvent.any -> unit) -> GtkSignal.id
method move_cursor : callback: (Gtk.Tags.movement_step -> int -> extend:bool -> unit) -> GtkSignal.id
method move_focus : callback:(Gtk.Tags.direction_type -> unit) -> GtkSignal.id
method move_lines : callback:(bool -> int -> unit) -> GtkSignal.id
method move_words : callback:(int -> unit) -> GtkSignal.id
method notify_accepts_tab : callback:(bool -> unit) -> GtkSignal.id
method notify_auto_indent : callback:(bool -> unit) -> GtkSignal.id
method notify_bottom_margin : callback:(int -> unit) -> GtkSignal.id
method notify_cursor_visible : callback:(bool -> unit) -> GtkSignal.id
method notify_editable : callback:(bool -> unit) -> GtkSignal.id
method notify_hadjustment : callback:(GData.adjustment -> unit) -> GtkSignal.id
method notify_highlight_current_line : callback:(bool -> unit) -> GtkSignal.id
method notify_im_module : callback:(string -> unit) -> GtkSignal.id
method notify_indent : callback:(int -> unit) -> GtkSignal.id
method notify_indent_on_tab : callback:(bool -> unit) -> GtkSignal.id
method notify_indent_width : callback:(int -> unit) -> GtkSignal.id
method notify_input_hints : callback:(GtkEnums.input_hints -> unit) -> GtkSignal.id
method notify_input_purpose : callback:(GtkEnums.input_purpose -> unit) -> GtkSignal.id
method notify_insert_spaces_instead_of_tabs : callback:(bool -> unit) -> GtkSignal.id
method notify_justification : callback:(GtkEnums.justification -> unit) -> GtkSignal.id
method notify_left_margin : callback:(int -> unit) -> GtkSignal.id
method notify_monospace : callback:(bool -> unit) -> GtkSignal.id
method notify_overwrite : callback:(bool -> unit) -> GtkSignal.id
method notify_pixels_above_lines : callback:(int -> unit) -> GtkSignal.id
method notify_pixels_below_lines : callback:(int -> unit) -> GtkSignal.id
method notify_pixels_inside_wrap : callback:(int -> unit) -> GtkSignal.id
method notify_populate_all : callback:(bool -> unit) -> GtkSignal.id
method notify_right_margin : callback:(int -> 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
method notify_top_margin : callback:(int -> unit) -> GtkSignal.id
method notify_vadjustment : callback:(GData.adjustment -> unit) -> GtkSignal.id
method notify_wrap_mode : callback:(GtkEnums.wrap_mode -> unit) -> GtkSignal.id
method page_horizontally : callback:(int -> extend:bool -> unit) -> GtkSignal.id
method paste_clipboard : callback:(unit -> unit) -> GtkSignal.id
method populate_popup : callback:(Gtk.menu Gtk.obj -> unit) -> GtkSignal.id
method redo : callback:(unit -> unit) -> GtkSignal.id
method set_anchor : 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 toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id
method undo : callback:(unit -> 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