Remove Ctrl+C handling, see #3456

KeYProject · Jul 20, 2024 · b0e9c12 · b0e9c12
1 parent b590ab9
commit b0e9c12
Showing 1 changed file with 0 additions and 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
@@ -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