GtkSourceView3Props.PrivatePropsval icon : ('a, GdkPixbuf.pixbuf) Gobject.propertyval info : ('a, string) Gobject.propertyval label : ('a, string) Gobject.propertyval markup : ('a, string) Gobject.propertyval text : ('a, string) Gobject.property