Browser documentation & CharSet under Windows

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15157 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 2 deletions

diff --git a/ide/preferences.ml b/ide/preferences.ml
index dd4ba00b6..11228f5da 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -119,8 +119,8 @@ let (current:pref ref) =
     read_project = Ignore_args;
     project_file_name = "_CoqProject";
 
-    encoding_use_locale = true;
-    encoding_use_utf8 = false;
+    encoding_use_locale = Sys.os_type <> "Win32" ;
+    encoding_use_utf8 = Sys.os_type = "Win32" ;
     encoding_manual = "ISO_8859-1";
 
     automatic_tactics = ["trivial"; "tauto"; "auto"; "omega";