diff options
| author | ppedrot | 2012-05-02 18:33:01 +0000 |
|---|---|---|
| committer | ppedrot | 2012-05-02 18:33:01 +0000 |
| commit | c9d0def2241f020070a41551ef9700b8cc345e53 (patch) | |
| tree | ed479762608c96b676f7e65eef003311de565584 /ide/ideutils.ml | |
| parent | d7a2b59e79c79d13f0146c40076ff80835b3c49f (diff) | |
Removed the useless use of a reference in preference handling.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15271 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/ideutils.ml')
| -rw-r--r-- | ide/ideutils.ml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/ide/ideutils.ml b/ide/ideutils.ml index ea15bd5f8c..2507c914a0 100644 --- a/ide/ideutils.ml +++ b/ide/ideutils.ml @@ -76,7 +76,7 @@ let do_convert s = ("Converting from "^ enc); Glib.Convert.convert s ~to_codeset:"UTF-8" ~from_codeset:enc in - match !current.encoding with + match current.encoding with |Preferences.Eutf8 | Preferences.Elocale -> from_loc () |Emanual enc -> try @@ -93,7 +93,7 @@ Please choose a correct encoding in the preference panel.*)";; let try_export file_name s = try let s = - try match !current.encoding with + try match current.encoding with |Eutf8 -> begin (prerr_endline "UTF-8 is enforced" ;s) end @@ -258,7 +258,7 @@ let coqtop_path () = let file = match !custom_coqtop with | Some s -> s | None -> - match !current.cmd_coqtop with + match current.cmd_coqtop with | Some s -> s | None -> let prog = String.copy Sys.executable_name in @@ -296,7 +296,7 @@ let run_command f c = (Unix.close_process_full (cin,cout,cerr), Buffer.contents result) let browse f url = - let com = Minilib.subst_command_placeholder !current.cmd_browse url in + let com = Minilib.subst_command_placeholder current.cmd_browse url in let _ = Unix.open_process_out com in () (* This beautiful message will wait for twt ... if s = 127 then @@ -304,10 +304,10 @@ let browse f url = "\"\ncheck your preferences for setting a valid browser command\n") *) let doc_url () = - if !current.doc_url = use_default_doc_url || !current.doc_url = "" then + if current.doc_url = use_default_doc_url || current.doc_url = "" then let addr = List.fold_left Filename.concat (Coq_config.docdir) ["html";"refman";"index.html"] in if Sys.file_exists addr then "file://"^addr else Coq_config.wwwrefman - else !current.doc_url + else current.doc_url let url_for_keyword = let ht = Hashtbl.create 97 in |