diff options
Diffstat (limited to 'otherlibs/labltk/browser')
-rw-r--r-- | otherlibs/labltk/browser/editor.ml | 2 | ||||
-rw-r--r-- | otherlibs/labltk/browser/searchid.ml | 4 | ||||
-rw-r--r-- | otherlibs/labltk/browser/shell.ml | 4 | ||||
-rw-r--r-- | otherlibs/labltk/browser/viewer.ml | 6 |
4 files changed, 8 insertions, 8 deletions
diff --git a/otherlibs/labltk/browser/editor.ml b/otherlibs/labltk/browser/editor.ml index 5a5f5f821..e7ee627ac 100644 --- a/otherlibs/labltk/browser/editor.ml +++ b/otherlibs/labltk/browser/editor.ml @@ -327,7 +327,7 @@ class editor :top :menus = object (self) action:(fun ev -> if ev.ev_Char <> "" & (ev.ev_Char.[0] >= ' ' or - List.mem key:ev.ev_Char.[0] + List.mem item:ev.ev_Char.[0] (List.map fun:control ['d'; 'h'; 'i'; 'k'; 'o'; 't'; 'w'; 'y'])) then Textvariable.set txt.modified to:"modified"); bind tw events:[`KeyPressDetail"Tab"] breakable:true diff --git a/otherlibs/labltk/browser/searchid.ml b/otherlibs/labltk/browser/searchid.ml index e0d538350..ade14981e 100644 --- a/otherlibs/labltk/browser/searchid.ml +++ b/otherlibs/labltk/browser/searchid.ml @@ -167,7 +167,7 @@ let rec included :prefix t1 t2 = let l2 = if arr len1 in:len2 < 100 then l2 else let ll1 = get_options (fst (List.split l1)) in List.filter l2 - pred:(fun (l,_) -> not (is_opt l) or List.mem key:l ll1) + pred:(fun (l,_) -> not (is_opt l) or List.mem item:l ll1) in len1 <= len2 & List.exists (List2.flat_map fun:permutations (choose len1 in:l2)) pred: @@ -432,7 +432,7 @@ let search_structure str :name :kind :prefix = Pstr_value (_, l) when kind = Pvalue -> List.iter l fun: begin fun (pat,_) -> - if List.mem key:name (bound_variables pat) + if List.mem item:name (bound_variables pat) then loc := pat.ppat_loc.loc_start end; false diff --git a/otherlibs/labltk/browser/shell.ml b/otherlibs/labltk/browser/shell.ml index f2fbd3a7e..3a5958806 100644 --- a/otherlibs/labltk/browser/shell.ml +++ b/otherlibs/labltk/browser/shell.ml @@ -68,7 +68,7 @@ object (self) Array.append env [|sigdef|] else env in - Unix.create_process_env name:prog :args :env + Unix.create_process_env :prog :args :env stdin:in2 stdout:out2 stderr:err2 val out = Unix.out_channel_of_descr out1 val h = new history () @@ -239,7 +239,7 @@ let get_all () = all let may_exec_unix prog = - try Unix.access name:prog perm:[Unix.X_OK]; true + try Unix.access file:prog perm:[Unix.X_OK]; true with Unix.Unix_error _ -> false let may_exec_win prog = diff --git a/otherlibs/labltk/browser/viewer.ml b/otherlibs/labltk/browser/viewer.ml index 11f3b2925..84099c2c8 100644 --- a/otherlibs/labltk/browser/viewer.ml +++ b/otherlibs/labltk/browser/viewer.ml @@ -34,7 +34,7 @@ let list_modules :path = String.capitalize (Filename.chop_suffix x suff:".cmi") end in List.fold_left l :acc - fun:(fun :acc key -> if List.mem acc :key then acc else key :: acc) + fun:(fun :acc item -> if List.mem acc :item then acc else item :: acc) end let reset_modules box = @@ -242,12 +242,12 @@ let start_shell () = Jg_entry.create entries command:(fun _ -> Button.invoke ok) and names = List.map fun:fst (Shell.get_all ()) in Entry.insert e1 index:`End text:!default_shell; - while List.mem names key:("Shell #" ^ string_of_int !shell_counter) do + while List.mem names item:("Shell #" ^ string_of_int !shell_counter) do incr shell_counter done; Entry.insert e2 index:`End text:("Shell #" ^ string_of_int !shell_counter); Button.configure ok command:(fun () -> - if not (List.mem names key:(Entry.get e2)) then begin + if not (List.mem names item:(Entry.get e2)) then begin default_shell := Entry.get e1; Shell.f prog:!default_shell title:(Entry.get e2); destroy tl |