package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

GtkSourceMarkAttributes

Class `GSourceView.source_mark_attributes`Source

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