blob: 6f7f15b9d1774659c9901f57b163e6e4ad718fb6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
open Support
(* fileselect.mli *)
val f :
title:string ->
action:(string list -> unit) ->
filter:string -> file:string -> multi:bool -> sync:bool -> unit
(* action
[] means canceled
if multi select is false, then the list is null or a singleton *)
(* multi select
if true then more than one file are selectable *)
(* sync it
if true then in synchronous mode *)
|
