1999-11-30 06:59:39 -08:00
|
|
|
(* builtin to handle callback association to widget *)
|
|
|
|
|
let own_set ?:command =
|
|
|
|
|
selection_ownset_icccm_optionals ?:command (fun opts w ->
|
|
|
|
|
tkEval [|TkToken"selection";
|
|
|
|
|
TkToken"own";
|
1999-12-16 00:37:38 -08:00
|
|
|
TkTokenList opts;
|
1999-11-30 06:59:39 -08:00
|
|
|
cCAMLtoTKwidget w|];
|
|
|
|
|
())
|
|
|
|
|
|
