summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/jg_box.ml
diff options
context:
space:
mode:
Diffstat (limited to 'otherlibs/labltk/browser/jg_box.ml')
-rw-r--r--otherlibs/labltk/browser/jg_box.ml46
1 files changed, 23 insertions, 23 deletions
diff --git a/otherlibs/labltk/browser/jg_box.ml b/otherlibs/labltk/browser/jg_box.ml
index 1194c8ab8..1b9643ffa 100644
--- a/otherlibs/labltk/browser/jg_box.ml
+++ b/otherlibs/labltk/browser/jg_box.ml
@@ -17,56 +17,56 @@ open Tk
let add_scrollbar lb =
let sb =
- Scrollbar.create (Winfo.parent lb) command:(Listbox.yview lb) in
- Listbox.configure lb yscrollcommand:(Scrollbar.set sb); sb
+ Scrollbar.create (Winfo.parent lb) ~command:(Listbox.yview lb) in
+ Listbox.configure lb ~yscrollcommand:(Scrollbar.set sb); sb
-let create_with_scrollbar ?:selectmode parent =
+let create_with_scrollbar ?selectmode parent =
let frame = Frame.create parent in
- let lb = Listbox.create frame ?:selectmode in
+ let lb = Listbox.create 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;
+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
+ Listbox.activate lb ~index;
+ Listbox.selection_anchor lb ~index;
+ Listbox.yview_index lb ~index
-class timed ?:wait ?:nocase get_texts = object
+class timed ?wait ?nocase get_texts = object
val get_texts = get_texts
- inherit Jg_completion.timed [] ?:wait ?:nocase as super
+ inherit Jg_completion.timed [] ?wait ?nocase as super
method reset =
texts <- get_texts ();
super#reset
end
-let add_completion ?:action ?:wait ?:nocase lb =
+let add_completion ?action ?wait ?nocase lb =
let comp =
- new timed ?:wait ?:nocase
- (fun () -> Listbox.get_range lb first:(`Num 0) last:`End) in
+ new timed ?wait ?nocase
+ (fun () -> Listbox.get_range lb ~first:(`Num 0) ~last:`End) in
Jg_bind.enter_focus lb;
- bind lb events:[`KeyPress] fields:[`Char] action:
+ bind lb ~events:[`KeyPress] ~fields:[`Char] ~action:
begin 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))
+ recenter lb ~index:(`Num (comp#add ev.ev_Char))
end;
begin match action with
Some action ->
- bind lb events:[`KeyPressDetail "Return"]
- action:(fun _ -> action `Active);
- bind lb events:[`Modified([`Double], `ButtonPressDetail 1)]
- breakable:true fields:[`MouseY]
- action:(fun ev ->
- action (Listbox.nearest lb y:ev.ev_MouseY); break ())
+ bind lb ~events:[`KeyPressDetail "Return"]
+ ~action:(fun _ -> action `Active);
+ bind lb ~events:[`Modified([`Double], `ButtonPressDetail 1)]
+ ~breakable:true ~fields:[`MouseY]
+ ~action:(fun ev ->
+ action (Listbox.nearest lb ~y:ev.ev_MouseY); break ())
| None -> ()
end;
- recenter lb index:(`Num 0) (* so that first item is active *)
+ recenter lb ~index:(`Num 0) (* so that first item is active *)