summaryrefslogtreecommitdiff
path: root/otherlibs/labltk/browser/fileselect.mli
diff options
context:
space:
mode:
Diffstat (limited to 'otherlibs/labltk/browser/fileselect.mli')
-rw-r--r--otherlibs/labltk/browser/fileselect.mli22
1 files changed, 22 insertions, 0 deletions
diff --git a/otherlibs/labltk/browser/fileselect.mli b/otherlibs/labltk/browser/fileselect.mli
new file mode 100644
index 0000000000..789cd17e2c
--- /dev/null
+++ b/otherlibs/labltk/browser/fileselect.mli
@@ -0,0 +1,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 *)