Up
–
frama-c
»
Frama_c_gui
»
Widget
» image
Class
Widget.image
inherit
widget
method
set_icon :
icon
->
unit