Gtk_helper.Icon
Some generic icon management tools.
type kind =
| Frama_C | |
| Unmark | |
| Fold | |
| Unfold | |
| Custom of string | |
| Feedback of Frama_c_kernel.Property_status.Feedback.t | (* Generic icons available in every proper install of Frama-C. To be able to use |
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