diff --git a/CHANGELOG b/CHANGELOG index b23eacf..4e42ab0 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -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 diff --git a/relational_gui.py b/relational_gui.py index f4de479..fd8c6e5 100755 --- 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: