package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

GtkSourceMarkAttributes

method as_source_mark_attributes : 'a
method set_background : Gdk.rgba -> unit
method set_icon_name : string -> unit
method set_pixbuf : GdkPixbuf.pixbuf -> unit
method background : Gdk.rgba
method icon_name : string
method pixbuf : GdkPixbuf.pixbuf