Frama_c_gui.Widget
class type widget = object ... end
class type action = object ... end
class type 'a signal = object ... end
class type 'a selector = object ... end
Default: ~style:`Label ~align:`Left
val gimage : icon -> GMisc.image
class checkbox : label:string -> ?tooltip:string -> unit -> object ... end
class switch : ?tooltip:string -> unit -> object ... end
class 'a group : 'a -> object ... end
A group is not a widget ; it creates interconnected toggle or radio buttons, each switching to a peculiar value.
class spinner : ?min:int -> ?max:int -> ?step:int -> value:int -> ?tooltip:string ->
unit -> object ... end
class popup : unit -> object ... end
Contextual menu. The #popup
method can be called inside a right-click callback. For instance: widget#on_right_click menu#popup
.