diff options
Diffstat (limited to 'otherlibs/labltk/support')
| -rw-r--r-- | otherlibs/labltk/support/textvariable.ml | 8 | ||||
| -rw-r--r-- | otherlibs/labltk/support/widget.ml | 4 |
2 files changed, 6 insertions, 6 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 diff --git a/otherlibs/labltk/support/widget.ml b/otherlibs/labltk/support/widget.ml index 1da823ce8..2174fc3cb 100644 --- a/otherlibs/labltk/support/widget.ml +++ b/otherlibs/labltk/support/widget.ml @@ -165,11 +165,11 @@ let check_class w clas = match w with Untyped _ -> () (* assume run-time check by tk*) | Typed(_,c) -> - if List.mem clas key:c then () + if List.mem clas item:c then () else raise (IllegalWidgetType c) (* Checking membership of constructor in subtype table *) let chk_sub errname table c = - if List.mem table key:c then () + if List.mem table item:c then () else raise (Invalid_argument errname) |