package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
method after : 'a
method changed : callback:(unit -> unit) -> GtkSignal.id
method notify_icon : callback:(GdkPixbuf.pixbuf -> unit) -> GtkSignal.id
method notify_info : callback:(string -> unit) -> GtkSignal.id
method notify_label : callback:(string -> unit) -> GtkSignal.id
method notify_markup : callback:(string -> unit) -> GtkSignal.id
method notify_text : callback:(string -> unit) -> GtkSignal.id