blob: 789cd17e2cc2c3dbb1d118c521842424667c0415 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
(* $Id$ *)
val f :
title:string ->
action:(string list -> unit) ->
?dir:string ->
?filter:string ->
?file:string ->
?multi:bool -> ?sync:bool -> ?usepath:bool -> unit -> unit
(* action
[] means canceled
if multi select is false, then the list is null or a singleton *)
(* multi
If true then more than one file are selectable *)
(* sync
If true then synchronous mode *)
(* usepath
Enables/disables load path search. Defaults to true *)
|