From a60461fdc0453a32451221d22e906ea74a0341e5 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 11 Nov 2018 15:13:45 +0100
Subject: CoqIDE: pass the parent window to all methods liable to open a
 question box.

This is to ensure that the corresponding question boxes remains in
front of the main window, consistently with the fact that they are
blocking actions on the main window.
---
 ide/fileOps.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'ide/fileOps.mli')

diff --git a/ide/fileOps.mli b/ide/fileOps.mli
index 9a1f0cb738..44a19f9981 100644
--- a/ide/fileOps.mli
+++ b/ide/fileOps.mli
@@ -16,10 +16,10 @@ object
   method filename : string option
   method update_stats : unit
   method changed_on_disk : bool
-  method revert : unit
+  method revert : ?parent:GWindow.window -> unit -> unit
   method auto_save : unit
   method save : string -> bool
-  method saveas : string -> bool
+  method saveas : ?parent:GWindow.window -> string -> bool
 end
 
 class fileops : GText.buffer -> string option -> (unit -> unit) -> ops
-- 
cgit v1.2.3