summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/jg_completion.ml
diff options
context:
space:
mode:
Diffstat (limited to 'otherlibs/labltk/browser/jg_completion.ml')
-rw-r--r--otherlibs/labltk/browser/jg_completion.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/jg_completion.ml b/otherlibs/labltk/browser/jg_completion.ml
index feb03c42f..c93b099b3 100644
--- a/otherlibs/labltk/browser/jg_completion.ml
+++ b/otherlibs/labltk/browser/jg_completion.ml
@@ -41,13 +41,13 @@ 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 =
+ method! add c =
begin match timer with
None -> self#reset
| Some t -> Timer.remove t
end;
timer <- Some (Timer.add ~ms:wait ~callback:(fun () -> self#reset));
super#add c
- method reset =
+ method! reset =
timer <- None; super#reset
end