From 7f08ca9133f1a03d38203316d9015be751eddf71 Mon Sep 17 00:00:00 2001
From: Salvo 'LtWorf' Tomaselli <tiposchi@tiscali.it>
Date: Fri, 9 Oct 2015 11:33:19 +0200
Subject: [PATCH] Ctrl+C in the terminal, will kill the GUI
It will abruptly kill, so settings will not be
saved.
---
CHANGELOG | 1 +
relational_gui.py | 3 +++
2 files changed, 4 insertions(+)
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: