leave labltk only in olabl branch

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 0 insertions, 149 deletions

diff --git a/otherlibs/labltk/browser/setpath.ml b/otherlibs/labltk/browser/setpath.ml
deleted file mode 100644
index 99c045d97..000000000
--- a/otherlibs/labltk/browser/setpath.ml
+++ /dev/null
@@ -1,149 +0,0 @@
-(* $Id$ *)
-
-open Tk
-
-(* Listboxes *)
-
-let update_hooks = ref []
-
-let add_update_hook f = update_hooks := f :: !update_hooks
-
-let exec_update_hooks () =
-    update_hooks := List.filter !update_hooks pred:
-      begin fun f ->
-      	try f (); true
-      	with Protocol.TkError _ -> false
-      end
-
-let set_load_path l =
-    Config.load_path := l;
-    exec_update_hooks ()
-
-let get_load_path () = !Config.load_path
-
-let renew_dirs box :var :dir =
-  Textvariable.set var to:dir;
-  Listbox.delete box first:(`Num 0) last:`End;
-  Listbox.insert box index:`End
-    texts:(Useunix.get_directories_in_files path:dir
-      	       	 (Useunix.get_files_in_directory dir));
-  Jg_box.recenter box index:(`Num 0)
-
-let renew_path box =
-  Listbox.delete box first:(`Num 0) last:`End;
-  Listbox.insert box index:`End texts:!Config.load_path;
-  Jg_box.recenter box index:(`Num 0)
-
-let add_to_path :dirs ?:base{=""} box =
-  let dirs =
-    if base = "" then dirs else
-    if dirs = [] then [base] else
-    List.map dirs fun:
-      begin function
-	  "." -> base 
-	| ".." -> Filename.dirname base
-	| x -> base ^ "/" ^ x
-      end
-  in
-  set_load_path
-    (dirs @ List.fold_left dirs acc:(get_load_path ())
-      	      fun:(fun :acc x -> List2.exclude elt:x acc))
-
-let remove_path box :dirs =
-  set_load_path
-    (List.fold_left dirs acc:(get_load_path ())
-       fun:(fun :acc x -> List2.exclude elt:x acc))
-
-(* main function *)
-
-let f :dir =
-  let current_dir = ref dir in
-  let tl = Jg_toplevel.titled "Edit Load Path" in
-  Jg_bind.escape_destroy tl;
-  let var_dir = Textvariable.create on:tl () in
-  let caplab = Label.create parent:tl text:"Path" ()
-  and dir_name =
-      Entry.create parent:tl textvariable:var_dir ()
-  and browse = Frame.create parent:tl () in
-  let dirs = Frame.create parent:browse ()
-  and path = Frame.create parent:browse () in
-  let dirframe, dirbox, dirsb = Jg_box.create_with_scrollbar parent:dirs ()
-  and pathframe, pathbox, pathsb = Jg_box.create_with_scrollbar parent:path ()
-  in
-  add_update_hook (fun () -> renew_path pathbox);
-  Listbox.configure pathbox width:40 selectmode:`Multiple;
-  Listbox.configure dirbox selectmode:`Multiple;
-  Jg_box.add_completion dirbox action:
-    begin fun index ->
-      begin match Listbox.get dirbox :index with
-	"." -> ()
-      | ".." -> current_dir := Filename.dirname !current_dir
-      | x -> current_dir := !current_dir ^ "/" ^ x
-      end;
-      renew_dirs dirbox var:var_dir dir:!current_dir;
-      Listbox.selection_clear dirbox first:(`Num 0) last:`End
-    end;
-  Jg_box.add_completion pathbox action:
-    begin fun index ->
-      current_dir := Listbox.get pathbox :index;
-      renew_dirs dirbox var:var_dir dir:!current_dir
-    end;
-
-  bind dir_name events:[[],`KeyPressDetail"Return"]
-    action:(`Set([], fun _ ->
-      let dir = Textvariable.get var_dir in
-      if Useunix.is_directory dir then begin
-	current_dir := dir;
-	renew_dirs dirbox var:var_dir :dir
-      end));
-
-  let bind_space_toggle lb =
-    bind lb events:[[], `KeyPressDetail "space"]
-    action:(`Extend ([], fun _ -> ()))
-  in bind_space_toggle dirbox; bind_space_toggle pathbox;
-  
-  let add_paths _ =
-    add_to_path pathbox base:!current_dir
-      dirs:(List.map (Listbox.curselection dirbox)
-      	      fun:(fun x -> Listbox.get dirbox index:x));
-    Listbox.selection_clear dirbox first:(`Num 0) last:`End
-  and remove_paths _ =
-    remove_path pathbox
-      dirs:(List.map (Listbox.curselection pathbox)
-      	      fun:(fun x -> Listbox.get pathbox index:x))
-  in
-  bind dirbox events:[[], `KeyPressDetail "Insert"]
-    action:(`Set ([], add_paths));
-  bind pathbox events:[[], `KeyPressDetail "Delete"]
-    action:(`Set ([], remove_paths));
-  
-  let dirlab = Label.create parent:dirs text:"Directories" ()
-  and pathlab = Label.create parent:path text:"Load path" ()
-  and addbutton =
-    Button.create parent:dirs text:"Add to path" command:add_paths ()
-  and pathbuttons = Frame.create parent:path () in
-  let removebutton =
-    Button.create parent:pathbuttons text:"Remove from path"
-      command:remove_paths ()
-  and ok =
-    Jg_button.create_destroyer tl parent:pathbuttons
-  in
-  renew_dirs dirbox var:var_dir dir:!current_dir;
-  renew_path pathbox;
-  pack [dirsb] side:`Right fill:`Y;
-  pack [dirbox] side:`Left fill:`Y expand:true;
-  pack [pathsb] side:`Right fill:`Y;
-  pack [pathbox] side:`Left fill:`Both expand:true;
-  pack [dirlab] side:`Top anchor:`W padx:(`Pix 10);
-  pack [addbutton] side:`Bottom fill:`X;
-  pack [dirframe] fill:`Y expand:true;
-  pack [pathlab] side:`Top anchor:`W padx:(`Pix 10);
-  pack [removebutton; ok] side:`Left fill:`X expand:true;
-  pack [pathbuttons] fill:`X side:`Bottom;
-  pack [pathframe] fill:`Both expand:true;
-  pack [dirs] side:`Left fill:`Y;
-  pack [path] side:`Right fill:`Both expand:true;
-  pack [caplab] side:`Top anchor:`W padx:(`Pix 10);
-  pack [dir_name] side:`Top anchor:`W fill:`X;
-  pack [browse] side:`Bottom expand:true fill:`Both;
-  tl