From cb4ddb3c0421f828f627215aeb64b286c05c617a Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 15 Feb 2015 21:58:38 +0100
Subject: Changing default for CoqIDE project to append arguments.

Implement wish #3582.
---
 ide/preferences.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
 
-- 
cgit v1.2.3