summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/jg_box.ml
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-11-16 10:29:03 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-11-16 10:29:03 +0000
commit27c082c04663ff18459777e111aca4cde20df265 (patch)
treed74a2991f4712aa20929a763bb65997c16da94ff /otherlibs/labltk/browser/jg_box.ml
parent8f492b2886fb03a3c23f0d2581222445285d6d28 (diff)
leave labltk only in olabl branch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/jg_box.ml')
-rw-r--r--otherlibs/labltk/browser/jg_box.ml57
1 files changed, 0 insertions, 57 deletions
diff --git a/otherlibs/labltk/browser/jg_box.ml b/otherlibs/labltk/browser/jg_box.ml
deleted file mode 100644
index f71bd0e7f..000000000
--- a/otherlibs/labltk/browser/jg_box.ml
+++ /dev/null
@@ -1,57 +0,0 @@
-(* $Id$ *)
-
-open Tk
-
-let add_scrollbar lb =
- let sb =
- Scrollbar.create parent:(Winfo.parent lb) command:(Listbox.yview lb) () in
- Listbox.configure lb yscrollcommand:(Scrollbar.set sb); sb
-
-let create_with_scrollbar :parent ?:selectmode () =
- let frame = Frame.create :parent () in
- let lb = Listbox.create parent:frame ?:selectmode () in
- frame, lb, add_scrollbar lb
-
-(* from frx_listbox,adapted *)
-
-let recenter lb :index =
- Listbox.selection_clear lb first:(`Num 0) last:`End;
- (* Activate it, to keep consistent with Up/Down.
- You have to be in Extended or Browse mode *)
- Listbox.activate lb :index;
- Listbox.selection_anchor lb :index;
- Listbox.yview_index lb :index
-
-class timed ?:wait ?:nocase get_texts = object
- val get_texts = get_texts
- inherit Jg_completion.timed [] ?:wait ?:nocase as super
- method reset =
- texts <- get_texts ();
- super#reset
-end
-
-let add_completion ?:action ?:wait ?:nocase lb =
- let comp =
- new timed ?:wait ?:nocase
- (fun () -> Listbox.get_range lb first:(`Num 0) last:`End) in
-
- Jg_bind.enter_focus lb;
-
- bind lb events:[[], `KeyPress]
- action:(`Set([`Char], fun ev ->
- (* consider only keys producing characters. The callback is called
- even if you press Shift. *)
- if ev.ev_Char <> "" then
- recenter lb index:(`Num (comp#add ev.ev_Char))));
-
- begin match action with
- Some action ->
- bind lb events:[[], `KeyPressDetail "Return"]
- action:(`Set ([], fun _ -> action `Active));
- bind lb events:[[`Double], `ButtonPressDetail 1]
- action:(`Setbreakable ([`MouseY], fun ev ->
- action (Listbox.nearest lb y:ev.ev_MouseY); break ()))
- | None -> ()
- end;
-
- recenter lb index:(`Num 0) (* so that first item is active *)