diff options
Diffstat (limited to 'otherlibs/labltk/support/textvariable.ml')
| -rw-r--r-- | otherlibs/labltk/support/textvariable.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/otherlibs/labltk/support/textvariable.ml b/otherlibs/labltk/support/textvariable.ml index c6f3e637a..f467a7150 100644 --- a/otherlibs/labltk/support/textvariable.ml +++ b/otherlibs/labltk/support/textvariable.ml @@ -97,12 +97,12 @@ let add w v = let r = ref StringSet.empty in Hashtbl.add memo key:w data:r; r in - r := StringSet.add !r key:v + r := StringSet.add !r item:v (* to be used with care ! *) let free v = rem_all_handles v; - freelist := StringSet.add key:v !freelist + freelist := StringSet.add item:v !freelist (* Free variables associated with a widget *) let freew w = @@ -125,7 +125,7 @@ let getv () = end else let v = StringSet.choose !freelist in - freelist := StringSet.remove key:v !freelist; + freelist := StringSet.remove item:v !freelist; v in set v to:""; v @@ -141,7 +141,7 @@ let create ?on: w () = (* to be used with care ! *) let free v = - freelist := StringSet.add key:v !freelist + freelist := StringSet.add item:v !freelist let cCAMLtoTKtextVariable s = TkToken s |