diff options
author | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-04-08 16:25:34 +0000 |
---|---|---|
committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-04-08 16:25:34 +0000 |
commit | 640f1fd1911a254b49c7c310f1d4af702bfb0890 (patch) | |
tree | d88f126177075a82fa96cc46b91c51fe19079546 /ide/coqide.mli | |
parent | ae6c56036f05b10b8ec728f474f4fe04ba90c752 (diff) |
coqide shutdown process change (and out the main function)
It now checks for 5 sec every 0.1 sec if is there is still running coqtop
then it asks the user if he wants to leave zombies or cancel quit.
(Cancel quit was continue to wait).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13973 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/coqide.mli')
-rw-r--r-- | ide/coqide.mli | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/ide/coqide.mli b/ide/coqide.mli index f6f5b616f..19021ee2c 100644 --- a/ide/coqide.mli +++ b/ide/coqide.mli @@ -22,7 +22,11 @@ val process_argv : string list -> string list (** Prepare the widgets, load the given files in tabs *) val main : string list -> unit -(** The function doing the actual loading of a file. *) +(** Function to save anything and kill all coqtops + @return [false] if you're allowed to quit. *) +val forbid_quit_to_save : unit -> bool + +(** Function to load of a file. *) val do_load : string -> unit (** Set coqide to ignore Ctrl-C, while launching [crash_save] and |