1999-11-30 06:59:39 -08:00
|
|
|
(* builtin to handle callback association to widget *)
|
2000-04-11 20:43:25 -07:00
|
|
|
let own_set ?command =
|
|
|
|
|
selection_ownset_icccm_optionals ?command (fun opts w ->
|
2000-02-15 02:10:26 -08:00
|
|
|
tkCommand [|TkToken"selection";
|
1999-11-30 06:59:39 -08:00
|
|
|
TkToken"own";
|
1999-12-16 00:37:38 -08:00
|
|
|
TkTokenList opts;
|
2000-02-15 02:10:26 -08:00
|
|
|
cCAMLtoTKwidget w|])
|
1999-11-30 06:59:39 -08:00
|
|
|
|
