Go to the first, previous, next, last section, table of contents.


The Fileselect module

open Support

val f : (* title *)        string ->

action

       (string list -> unit) ->

def filter

 ->

def file

 ->

multi select

 ->

sync it

 ->
                               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


Go to the first, previous, next, last section, table of contents.