diff options
Diffstat (limited to 'otherlibs/labltk/browser/jg_completion.ml')
| -rw-r--r-- | otherlibs/labltk/browser/jg_completion.ml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/otherlibs/labltk/browser/jg_completion.ml b/otherlibs/labltk/browser/jg_completion.ml index 130c56919..9217fcf45 100644 --- a/otherlibs/labltk/browser/jg_completion.ml +++ b/otherlibs/labltk/browser/jg_completion.ml @@ -13,10 +13,10 @@ (* $Id$ *) -let lt_string ?(:nocase=false) s1 s2 = +let lt_string ?(nocase=false) s1 s2 = if nocase then String.lowercase s1 < String.lowercase s2 else s1 < s2 -class completion ?:nocase texts = object +class completion ?nocase texts = object val mutable texts = texts val nocase = nocase val mutable prefix = "" @@ -24,7 +24,7 @@ class completion ?:nocase texts = object method add c = prefix <- prefix ^ c; while current < List.length texts - 1 & - lt_string (List.nth texts current) prefix ?:nocase + lt_string (List.nth texts current) prefix ?nocase do current <- current + 1 done; @@ -36,8 +36,8 @@ class completion ?:nocase texts = object current <- 0 end -class timed ?:nocase ?:wait texts = object (self) - inherit completion texts ?:nocase as super +class timed ?nocase ?wait texts = object (self) + inherit completion texts ?nocase as super val wait = match wait with None -> 500 | Some n -> n val mutable timer = None method add c = @@ -45,7 +45,7 @@ class timed ?:nocase ?:wait texts = object (self) None -> self#reset | Some t -> Timer.remove t end; - timer <- Some (Timer.add ms:wait callback:(fun () -> self#reset)); + timer <- Some (Timer.add ~ms:wait ~callback:(fun () -> self#reset)); super#add c method reset = timer <- None; super#reset |