Remove Ctrl+C handling, see #3456

KeYProject / key

KeY Theorem Prover for Deductive Java Verification

https://key-project.org

Other

41 stars 24 forks source link

Closed wadoon closed 4 weeks ago

wadoon commented 1 month ago

Removes the explicit ctrl+c handling in WindowsUserInterfaceControl

See bug report: #3456.

mattulbrich commented 1 month ago

The test cases seem to fail (on ubuntu at least ...). @WolframPfeifer and @FliegendeWurst are perhaps better reviewers.