Module Stk.Selection

Handling current selection.

Current selection is retrieved using get. For widgets handling user selection, when the user selects something, the widget will set the function called to retrieve the selection. unset removes the selection function.

val unset : unit -> unit
val set : (unit -> string option) -> unit
val get : unit -> string option