diff options
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 18df1f6a0a..aba75be4b5 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). *) |