diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-12-07 15:19:05 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-12-07 15:19:05 +0000 |
commit | 10d19da7aec5061cc19b09c06b619d10bda6b289 (patch) | |
tree | ea0a9d4bac6c375b8fadf8cee99b0798eb5e3ac6 /ide/coqide.mli | |
parent | f1590d8e7a94980ab57de3f7db5926ab9d069461 (diff) |
Coqide: no reason to ignore Ctrl-C
Ctrl-C now triggers a clean (interactive) quit.
The other catchable signals still trigger an emergency (non-interactive) quit.
Btw, stop trying to relaunch the gtk loop in case of failure
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16036 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/coqide.mli')
-rw-r--r-- | ide/coqide.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ide/coqide.mli b/ide/coqide.mli index 18df1f6a0..aba75be4b 100644 --- a/ide/coqide.mli +++ b/ide/coqide.mli @@ -26,9 +26,9 @@ 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 - exiting for others received signals *) -val ignore_break : unit -> unit +(** Set coqide to perform a clean quit at Ctrl-C, while launching + [crash_save] and exiting for others received signals *) +val set_signal_handlers : unit -> unit (** Emergency saving of opened files as "foo.v.crashcoqide", and exit (if the integer isn't 127). *) |