Module Frama_c_gui.Wutil

Wtoolkit - Utilities

val on : 'a option -> ( 'a -> unit ) -> unit
val fire : ( 'a -> unit ) list -> 'a -> unit
val once : ( 'a -> 'b ) -> 'a -> 'b

Settings & Console

val share : string Stdlib.ref
val flush : ( string -> unit ) Stdlib.ref
val warning : ( 'a, Stdlib.Format.formatter, unit ) Stdlib.format -> 'a

Styling

val set_enabled : GObj.widget -> bool -> unit
val set_visible : GObj.widget -> bool -> unit
val set_tooltip : GObj.widget -> string option -> unit
val set_font : GObj.widget -> string -> unit
val set_monospace : GObj.widget -> unit
val set_small_font : GObj.widget -> unit
val set_bold_font : GObj.widget -> unit
val to_utf8 : string -> string

Ratios

val get_pane_ratio : GPack.paned -> float
val set_pane_ratio : GPack.paned -> float -> unit

Timing

val later : ( unit -> unit ) -> unit

Post the action on next idle.

Events

class virtual 'a handler : object ... end

Defines on_xxx in term of connect.

class 'a signal : object ... end

Has type Widget.signal

class 'a selector : 'a -> object ... end
class type widget = object ... end
class layout : object ... end
class gobj_widget : GObj.widget -> widget
class gobj_action : GObj.widget -> object ... end