From f5276a11a40f86d5ed8ff14bd03d6ea71e7dad33 Mon Sep 17 00:00:00 2001 From: letouzey Date: Thu, 28 Apr 2011 10:09:12 +0000 Subject: Coqide: try to properly send interrupts to coqtop on Win32 We use GenerateConsoleCtrlEvent(CTRL_C_EVENT,...) after having attached coqide to the console of the coqtop we want to interrupt. Two caveats: - This code isn't compatible with Windows < XP SP1. - It relies on the fact that coqide is now a true GUI app, without console by default. If for some reason the console of coqide is restored (for instance via mkwinapp -unset), strange behavior of the interrupt button is to be expected, at the very least all instances of coqtop will get Ctrl-C instead of a precise one. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14077 85f007b7-540e-0410-9357-904b9bb8a0f7 --- ide/coq.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'ide/coq.mli') diff --git a/ide/coq.mli b/ide/coq.mli index cef5d4246..04155ac40 100644 --- a/ide/coq.mli +++ b/ide/coq.mli @@ -41,6 +41,7 @@ val break_coqtop : coqtop -> unit (** In win32, we'll use a different kill function than Unix.kill *) val killer : (int -> unit) ref +val interrupter : (int -> unit) ref (** * Calls to Coqtop, cf [Ide_intf] for more details *) -- cgit v1.2.3