diff options
| author | monate | 2003-03-12 10:09:47 +0000 |
|---|---|---|
| committer | monate | 2003-03-12 10:09:47 +0000 |
| commit | 62d08f32993d7b3cfb1ce484ac6ac223dbedc6d9 (patch) | |
| tree | 73ac56ce389f55dc17c232d1d3d627ecf6414049 /ide/ideutils.ml | |
| parent | 61cf317c96a2ca5c1ee9badaa783b335314dd1a9 (diff) | |
coqide: .coqidepref en bin. Preferences en plus
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3756 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/ideutils.ml')
| -rw-r--r-- | ide/ideutils.ml | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/ide/ideutils.ml b/ide/ideutils.ml index 6373e5a344..bca97c7a72 100644 --- a/ide/ideutils.ml +++ b/ide/ideutils.ml @@ -58,15 +58,17 @@ let try_export file_name s = if (fst (Glib.Convert.get_charset ())) then s else - (try Glib.Convert.locale_from_utf8 s with _ -> prerr_endline "Warning: exporting to utf8";s) + (try Glib.Convert.locale_from_utf8 s + with _ -> prerr_endline "Warning: exporting to utf8";s) in let oc = open_out file_name in output_string oc s; - close_out oc - with e -> prerr_endline (Printexc.to_string e) + close_out oc; + true + with e -> prerr_endline (Printexc.to_string e);false let browse url = - let l,r = current.cmd_browse in + let l,r = !current.cmd_browse in ignore (Sys.command (l ^ url ^ r)) let url_for_keyword = @@ -92,7 +94,7 @@ let url_for_keyword = let browse_keyword text = try - let u = url_for_keyword text in browse (current.doc_url ^ u) + let u = url_for_keyword text in browse (!current.doc_url ^ u) with _ -> () let my_stat f = try Some (Unix.stat f) with _ -> None |