Up
–
frama-c
»
Frama_c_gui
»
Wutil
» gobj_action
Class
Wutil.gobj_action
inherit
widget
method
set_tooltip :
string
->
unit