From a0cfa4f118023d35b767a999d5a2ac4b082857b4 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 25 Jul 2008 15:12:53 +0200
Subject: Imported Upstream version 8.2~beta3+dfsg

---
 ide/ideutils.mli | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'ide/ideutils.mli')

diff --git a/ide/ideutils.mli b/ide/ideutils.mli
index 3af80f47..48ff0fca 100644
--- a/ide/ideutils.mli
+++ b/ide/ideutils.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: ideutils.mli 7608 2005-11-25 17:09:25Z barras $ i*)
+(*i $Id: ideutils.mli 11006 2008-05-28 10:42:45Z jnarboux $ i*)
 
 val async : ('a -> unit) -> 'a -> unit
 val sync  : ('a -> 'b) -> 'a -> 'b
@@ -17,6 +17,7 @@ val mutex : string -> ('a -> unit) -> 'a -> unit
 val browse : (string -> unit) -> string -> unit
 val browse_keyword : (string -> unit) -> string -> unit
 val byte_offset_to_char_offset : string -> int -> int
+val init_stdout : unit -> unit
 val clear_stdout : unit -> unit
 val debug : bool ref
 val disconnect_revert_timer : unit -> unit
@@ -39,7 +40,10 @@ val print_id : 'a -> unit
 val read_stdout : unit -> string
 val revert_timer : GMain.Timeout.id option ref
 val auto_save_timer : GMain.Timeout.id option ref
-val select_file :
+val select_file_for_open :
+  title:string ->
+  ?dir:string ref -> ?filename:string -> unit -> string option
+val select_file_for_save :
   title:string ->
   ?dir:string ref -> ?filename:string -> unit -> string option
 val set_highlight_timer : (unit -> 'a) -> unit
-- 
cgit v1.2.3