frama-c.gui
Frama_c_gui.Widget
Pdg_types
frama-c-alias.core
frama-c-aorai.core
frama-c-api-generator.core
frama-c-callgraph.core
frama-c-constant_propagation.core
frama-c-dive.core
frama-c-e-acsl.core
frama-c-eva.core
frama-c-eva.gui
frama-c-from.core
frama-c-from.gui
frama-c-impact.core
frama-c-impact.gui
frama-c-inout.core
frama-c-instantiate.core
frama-c-loop-analysis.core
frama-c-markdown-report.core
frama-c-markdown-report.eva-info
frama-c-metrics.core
frama-c-metrics.gui
frama-c-nonterm.core
frama-c-obfuscator.core
frama-c-occurrence.core
frama-c-occurrence.gui
frama-c-pdg.core
frama-c-pdg.types
frama-c-postdominators.core
frama-c-reduc.core
frama-c-report.core
frama-c-rtegen.core
frama-c-rtegen.gui
frama-c-scope.core
frama-c-scope.gui
frama-c-security_slicing.core
frama-c-security_slicing.gui
frama-c-server.core
frama-c-slicing.core
frama-c-slicing.gui
frama-c-sparecode.core
frama-c-studia.core
frama-c-studia.gui
frama-c-users.core
frama-c-variadic.core
frama-c-wp.core
frama-c-wp.gui
frama-c.analysis-scripts
frama-c.boot
frama-c.init
frama-c.kernel
frama_c_very_first_cmdline
frama_c_very_first_gui
markdown_report_eva_info
qed
class type widget = object ... end
class type action = object ... end
class type t = widget
class type 'a signal = object ... end
class type 'a selector = object ... end
type align = [
| `Left
| `Right
| `Center
]
type style = [
| `Label
| `Descr
| `Code
| `Title
type color = [
| GDraw.color
| `NORMAL
class label : ?style:style -> ?align:align -> ?width:int -> ?text:string -> unit -> object ... end
Default: ~style:`Label ~align:`Left
~style:`Label ~align:`Left
type icon = [
| GtkStock.id
| `Share of string
| `None
val default_icon : unit -> GdkPixbuf.pixbuf
val shared_icon : string -> GdkPixbuf.pixbuf
val gimage : icon -> GMisc.image
class image : icon -> object ... end
class button : ?align:align -> ?icon:icon -> ?label:string -> ?border:bool -> ?tooltip: string -> unit -> object ... end
class toggle : ?align:align -> ?icon:icon -> ?label:string -> ?border:bool -> ?tooltip: string -> unit -> object ... end
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 'a menu : default:'a -> ?options:('a * string) list -> ?render:('a -> string) -> ?items:'a list -> 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.
#popup
widget#on_right_click menu#popup