diff options
Diffstat (limited to 'otherlibs/labltk/browser/fileselect.ml')
| -rw-r--r-- | otherlibs/labltk/browser/fileselect.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/otherlibs/labltk/browser/fileselect.ml b/otherlibs/labltk/browser/fileselect.ml index b72b6ce4e..cea020edb 100644 --- a/otherlibs/labltk/browser/fileselect.ml +++ b/otherlibs/labltk/browser/fileselect.ml @@ -74,9 +74,9 @@ let load_in_path = ref false let search_in_path :name = Misc.find_in_path !Config.load_path name -let f :title action:proc ?:dir[=Unix.getcwd ()] - ?filter:deffilter[="*"] ?file:deffile[=""] - ?:multi[=false] ?:sync[=false] ?:usepath[=true] () = +let f :title action:proc ?(:dir = Unix.getcwd ()) + ?(filter:deffilter ="*") ?(file:deffile ="") + ?(:multi=false) ?(:sync=false) ?(:usepath=true) () = let current_pattern = ref "" and current_dir = ref dir in |