package frama-c

  1. Overview
  2. Docs

doc/frama-c.gui/Frama_c_gui/Widget/class-spinner/index.html

Class Widget.spinnerSource

inherit action
inherit int selector
method set_min : int -> unit
method set_max : int -> unit
OCaml

Innovation. Community. Security.