From c8ba2bca3d2d2118b290a199e374a1777e85e4b0 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Thu, 4 Nov 2010 21:44:33 +0000
Subject: End of commit 13600: files can be given as arguments of coqide again.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13622 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqide.ml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 375d3eec23..2d22ca1fa4 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -3092,9 +3092,10 @@ let process_argv argv =
     (output_string stderr "coqtop choked on one of your option"; exit 1)
 
 let start () =
-  sup_args := String.concat " " (List.tl (Array.to_list Sys.argv));
-  let files = process_argv (Array.to_list Sys.argv) in
-    ignore_break ();
+  let argl = Array.to_list Sys.argv in
+  let files = process_argv argl in
+  sup_args := String.concat " " (List.filter (fun x -> not (List.mem x files)) (List.tl argl));
+  ignore_break ();
     GtkMain.Rc.add_default_file (lib_ide_file ".coqide-gtk2rc");
     (try
 	 GtkMain.Rc.add_default_file (Filename.concat System.home ".coqide-gtk2rc");
-- 
cgit v1.2.3