Blame jpf/fileselect.mli

Packit bd2e5d
(***********************************************************************)
Packit bd2e5d
(*                                                                     *)
Packit bd2e5d
(*                 MLTk, Tcl/Tk interface of OCaml                     *)
Packit bd2e5d
(*                                                                     *)
Packit bd2e5d
(*    Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis    *)
Packit bd2e5d
(*               projet Cristal, INRIA Rocquencourt                    *)
Packit bd2e5d
(*            Jacques Garrigue, Kyoto University RIMS                  *)
Packit bd2e5d
(*                                                                     *)
Packit bd2e5d
(*  Copyright 2002 Institut National de Recherche en Informatique et   *)
Packit bd2e5d
(*  en Automatique and Kyoto University.  All rights reserved.         *)
Packit bd2e5d
(*  This file is distributed under the terms of the GNU Library        *)
Packit bd2e5d
(*  General Public License, with the special exception on linking      *)
Packit bd2e5d
(*  described in file LICENSE found in the OCaml source tree.          *)
Packit bd2e5d
(*                                                                     *)
Packit bd2e5d
(***********************************************************************)
Packit bd2e5d
Packit bd2e5d
(* $Id$ *)
Packit bd2e5d
Packit bd2e5d
(* This file selecter works only under the OS with the full unix support.
Packit bd2e5d
   For the portability, Tk.getOpenFile and Tk.getSaveFile are recommended. *)
Packit bd2e5d
Packit bd2e5d
open Support
Packit bd2e5d
Packit bd2e5d
val f :
Packit bd2e5d
  title:string ->
Packit bd2e5d
  action:(string list -> unit) ->
Packit bd2e5d
  filter:string -> file:string -> multi:bool -> sync:bool -> unit
Packit bd2e5d
Packit bd2e5d
(* action
Packit bd2e5d
      []  means canceled
Packit bd2e5d
      if multi select is false, then the list is null or a singleton *)
Packit bd2e5d
Packit bd2e5d
(* multi select
Packit bd2e5d
      if true then more than one file are selectable *)
Packit bd2e5d
Packit bd2e5d
(* sync it
Packit bd2e5d
      if true then in synchronous mode *)