Changing default for CoqIDE project to append arguments.

Implement wish #3582.

1 files changed, 1 insertions, 1 deletions

diff --git a/ide/preferences.ml b/ide/preferences.ml
index d32920ed3f..c59642d3a7 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -181,7 +181,7 @@ let current = {
     source_language = "coq";
     source_style = "coq_style";
 
-    read_project = Ignore_args;
+    read_project = Append_args;
     project_file_name = "_CoqProject";
     project_path = None;