package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Frama_c_gui.Wutil`Source

Sourceval on : 'a option -> ('a -> unit) -> unit

Sourceval fire : ('a -> unit) list -> 'a -> unit

Sourceval once : ('a -> 'b) -> 'a -> 'b

Sourceval share : string ref

Sourceval flush : (string -> unit) ref

Sourceval warning : ('a, Format.formatter, unit) format -> 'a

Sourceval set_enabled : GObj.widget -> bool -> unit

Sourceval set_visible : GObj.widget -> bool -> unit

Sourceval set_tooltip : GObj.widget -> string option -> unit

Sourceval set_font : GObj.widget -> string -> unit

Sourceval set_monospace : GObj.widget -> unit

Sourceval set_small_font : GObj.widget -> unit

Sourceval set_bold_font : GObj.widget -> unit

Sourceval to_utf8 : string -> string

Sourceval get_pane_ratio : GPack.paned -> float

Sourceval set_pane_ratio : GPack.paned -> float -> unit

Sourceval later : (unit -> unit) -> unit

Post the action on next idle.

Sourceclass virtual 'a handler : object ... end

Defines on_xxx in term of connect.

Sourceclass 'a signal : object ... end

Sourceclass 'a selector : 'a -> object ... end

Sourceclass type widget = object ... end

Sourceclass layout : object ... end

Sourceclass gobj_widget : GObj.widget -> widget

Sourceclass gobj_action : GObj.widget -> object ... end