1 files changed, 0 insertions, 39 deletions
diff --git a/otherlibs/labltk/browser/jg_completion.ml b/otherlibs/labltk/browser/jg_completion.ml
deleted file mode 100644
index 8836af09f..000000000
--- a/otherlibs/labltk/browser/jg_completion.ml
+++ /dev/null
@@ -1,39 +0,0 @@
-(* $Id$ *)
-
-let lt_string ?:nocase{=false} s1 s2 =
-  if nocase then String.lowercase s1 < String.lowercase s2 else s1 < s2
-
-class completion ?:nocase texts = object
-  val mutable texts = texts
-  val nocase = nocase
-  val mutable prefix = ""
-  val mutable current = 0
-  method add c =
-    prefix <- prefix ^ c;
-    while current < List.length texts - 1 &
-      lt_string (List.nth texts pos:current) prefix ?:nocase
-    do
-      current <- current + 1
-    done;
-    current
-  method current = current
-  method get_current = List.nth texts pos:current
-  method reset =
-    prefix <- "";
-    current <- 0
-end
-
-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 =
-    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 =
-    timer <- None; super#reset
-end