scrollbar: the scrollbar widget
value create : widget -> options list -> widget
-
create p options creates a new widget with parent p.
Options are restricted to the widget class subset,
and checked dynamically.
value create_named : widget -> string -> options list -> widget
-
create p name options creates a new widget with
parent p and new patch component name.
Options are restricted to the widget class subset,
and checked dynamically.
value activate : widget -> widgetElement -> unit
-
tk invocation: widget activate widgetElement
value activate_get : widget -> widgetElement
-
tk invocation: widget activate
value configure : widget -> options list -> unit
-
tk invocation: widget configure options list
value configure_get : widget -> string
-
tk invocation: widget configure
value delta : widget -> int -> int -> float
-
tk invocation: widget delta int int
value fraction : widget -> int -> int -> float
-
tk invocation: widget fraction int int
value get : widget -> float * float
-
tk invocation: widget get
value identify : widget -> int -> int -> widgetElement
-
tk invocation: widget identify int int
value old_get : widget -> int * int * int * int
-
tk invocation: widget get
value old_set : widget -> int -> int -> int -> int -> unit
-
tk invocation: widget set int int int int
value set : widget -> float -> float -> unit
-
tk invocation: widget set float float