blob: d1d9963999cd72b2f0c9beb11b62c87372944504 (
plain)
1
2
3
4
|
val handle_set :
command: (pos:int -> len:int -> string) ->
?format: string -> ?selection:string -> ?type: string -> 'a widget -> unit
(* tk invocation: selection handle <icccm list> <widget> <command> *)
|