From d62282b45bff7b96cfd1859bba5b1a182ee38ac3 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 | 15 --------------- 1 file changed, 15 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..fa0578538d8 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 @@ -18,7 +18,6 @@ import de.uka.ilkd.key.control.UserInterfaceControl; import de.uka.ilkd.key.control.instantiation_model.TacletInstantiationModel; import de.uka.ilkd.key.core.KeYMediator; -import de.uka.ilkd.key.gui.actions.ExitMainAction; import de.uka.ilkd.key.gui.mergerule.MergeRuleCompletion; import de.uka.ilkd.key.gui.notification.events.GeneralFailureEvent; import de.uka.ilkd.key.gui.notification.events.NotificationEvent; @@ -55,7 +54,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 +77,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