package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class GSourceView.source_buffer_signalsSource

inherit 'b GText.buffer_signals_type
method changed : callback:(unit -> unit) -> GtkSignal.id
method highlight_updated : callback:(Gtk.text_iter -> Gtk.text_iter -> unit) -> GtkSignal.id
method source_mark_updated : callback: (GtkSourceView3_types.source_mark Gtk.obj -> unit) -> GtkSignal.id
method notify_can_redo : callback:(bool -> unit) -> GtkSignal.id
method notify_can_undo : callback:(bool -> unit) -> GtkSignal.id
method notify_highlight_matching_brackets : callback:(bool -> unit) -> GtkSignal.id
method notify_highlight_syntax : callback:(bool -> unit) -> GtkSignal.id
method notify_max_undo_levels : callback:(int -> unit) -> GtkSignal.id