Ctrl+C in the terminal, will kill the GUI

It will abruptly kill, so settings will not be saved.
2015-10-09 11:33:19 +02:00
parent 0d9d5114bd
commit 7f08ca9133
2 changed files with 4 additions and 0 deletions
--- a/1
+++ b/1
@@ -1,5 +1,6 @@
 2.2
 - Added again make install target
+- Ctrl+C in the terminal will terminate the GUI

 2.1
 - Introduced sessions; GUI loads the same relations of the previous time
--- a/relational_gui.py
+++ b/relational_gui.py
@@ -81,6 +81,9 @@ if __name__ == "__main__":
            x11 = False

    if x11:
+        import signal
+        signal.signal(signal.SIGINT, signal.SIG_DFL)
+
        import sip  # needed on windows
        from PyQt5 import QtGui, QtWidgets
        try: