Module Gtk_helper.Icon

module Icon: sig .. end

Some generic icon management tools.

Since Carbon-20101201

type kind =

`\|`	`Frama_C`
`\|`	`Unmark`
`\|`	`Fold`
`\|`	`Unfold`
`\|`	`Custom of string`
`\|`	`Feedback of Property_status.Feedback.t`	`(*`	Generic icons available in every proper install of Frama-C. To be able to use `Custom s` you must have called `register ~name:s ~file`, otherwise you will get a generic icon placeholder.	`*)`

val register : name:string -> file:string -> unit

register ~name ~file registers the kind Custom name associated to the filename file. $FRAMAC_SHARE/f should point to an existing file containing an image loadable by GdkPixbuf.

val get : kind -> GdkPixbuf.pixbuf

Returns the pixbuf associated to the given kind. If the given kind is Custom s and no one ever called register ~name:s ~file where file is such that $(FRAMAC_SHARE)/f is not a real image file loadable by GdkPixbuf, a generic icon placeholder is returned.

val default : unit -> GdkPixbuf.pixbuf

val clear : unit -> unit

Reloads the builtin icons from the theme specified in the configuration. Used when the theme is changed.

Since Chlorine-20180501