From 5b291be394496e360b49bef44912caaa6b5c31f4 Mon Sep 17 00:00:00 2001
From: Erika
Date: Sun, 16 Feb 2020 18:30:18 +0000
Subject: CoqIDE: allow opening multiple files at once

---
 ide/ideutils.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/ideutils.mli')

diff --git a/ide/ideutils.mli b/ide/ideutils.mli
index bacb273657..af30cd2b05 100644
--- a/ide/ideutils.mli
+++ b/ide/ideutils.mli
@@ -31,7 +31,7 @@ val find_tag_start : GText.tag -> GText.iter -> GText.iter
 val find_tag_stop : GText.tag -> GText.iter -> GText.iter
 
 val select_file_for_open :
-  title:string -> ?filter:bool -> ?parent:GWindow.window -> ?filename:string -> unit -> string option
+  title:string -> ?filter:bool -> ?multiple:bool -> ?parent:GWindow.window -> ?filename:string -> unit -> string list
 val select_file_for_save :
   title:string -> ?parent:GWindow.window -> ?filename:string -> unit -> string option
 val try_convert : string -> string
-- 
cgit v1.2.3