splitter
inherit Frama_c_gui.Wutil.widget
method get : float
method set : float -> unit
method connect : (float -> unit) -> unit
Frama-C Frama-C