diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-07-26 00:04:05 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-07-26 00:04:05 +0000 |
| commit | efc56d8b1c5b08b2685aac095decc658ed69da16 (patch) | |
| tree | 5b46bec0305e5604c7558a12d695ec787169ac47 /otherlibs/labltk/browser/shell.ml | |
| parent | 27da263cebf7af11256f3c8f2ad450338d33395b (diff) | |
le mieux est l'ennemi du bien?
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5045 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/shell.ml')
| -rw-r--r-- | otherlibs/labltk/browser/shell.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/otherlibs/labltk/browser/shell.ml b/otherlibs/labltk/browser/shell.ml index e1de45134..13be2c3f9 100644 --- a/otherlibs/labltk/browser/shell.ml +++ b/otherlibs/labltk/browser/shell.ml @@ -257,10 +257,8 @@ let path_sep = if is_win32 then ";" else ":" let warnings = ref "Al" let program_not_found prog = - ignore begin - Jg_message.ask ~cancel:false ~no:false ~title:"Error" - ("Program \"" ^ String.escaped prog ^ "\"\nwas not found in path") - end + Jg_message.info ~title:"Error" + ("Program \"" ^ prog ^ "\"\nwas not found in path") let f ~prog ~title = let progargs = |