Frama-C:
Plug-ins:
Libraries:

Frama-C API - source_mark_attributes

method as_source_mark_attributes : GtkSourceView3_types.source_mark_attributes Gtk.obj
method background : Gdk.rgba
method icon_name : string
method pixbuf : GdkPixbuf.pixbuf
method set_background : Gdk.rgba -> unit
method set_icon_name : string -> unit
method set_pixbuf : GdkPixbuf.pixbuf -> unit