module Gtk_form:sig
..end
Gtk_helper
to create side-panel widgets.
This module should not be used anymore. The provided helpers allow for synchronizing plugin options with predefined widgets.
However, the widgets should be now created with Toolbox
. The
synchronization can be achieved using Toolbox.signal
as a
replacement for above demon
.
type
demon
val demon : unit -> demon
val register : demon -> (unit -> unit) -> unit
val refresh : demon -> unit -> unit
type'a
field =?tooltip:string ->
packing:(GObj.widget -> unit) ->
(unit -> 'a) -> ('a -> unit) -> demon -> unit
val check : ?label:string -> bool field
(string * 'a) list -> ?width:int -> 'a field
: val spinner : ?lower:int -> ?upper:int -> ?width:int -> int field
val label : text:string -> packing:(GObj.widget -> unit) -> unit -> unit
label:string ->
?tooltip:string ->
callback:(unit -> unit) -> packing:(GObj.widget -> unit) -> unit -> unit
: class form :packing:(GObj.widget -> unit) ->
object
..end