From b0e9c1276b7517bb9e443883c70b81a77ced769b Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Sat, 20 Jul 2024 14:25:14 +0200 Subject: [PATCH] Remove Ctrl+C handling, see #3456 --- .../ilkd/key/gui/WindowUserInterfaceControl.java | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/WindowUserInterfaceControl.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/WindowUserInterfaceControl.java index f9066745de7..dbfc8299d6e 100644 --- a/key.ui/src/main/java/de/uka/ilkd/key/gui/WindowUserInterfaceControl.java +++ b/key.ui/src/main/java/de/uka/ilkd/key/gui/WindowUserInterfaceControl.java @@ -55,7 +55,6 @@ import org.antlr.v4.runtime.misc.ParseCancellationException; import org.slf4j.Logger; import org.slf4j.LoggerFactory; -import sun.misc.Signal; /** * Implementation of {@link UserInterfaceControl} which controls the {@link MainWindow} with the @@ -79,19 +78,6 @@ public WindowUserInterfaceControl(MainWindow mainWindow) { completions.add(new BlockContractInternalCompletion(mainWindow)); completions.add(new BlockContractExternalCompletion(mainWindow)); completions.add(MergeRuleCompletion.INSTANCE); - try { - Signal.handle(new Signal("INT"), sig -> { - if (getMediator().isInAutoMode()) { - LOGGER.warn("Caught SIGINT, stopping automode..."); - getMediator().getUI().getProofControl().stopAutoMode(); - } else { - LOGGER.warn("Caught SIGINT, exiting..."); - new ExitMainAction(mainWindow).exitMainWithoutInteraction(); - } - }); - } catch (Exception e) { - // the above is optional functionality and may not work on every OS - } } @Override