[gnome-tweak-tool/gnome-3-24] Handle SIGINT

[Jeremy Bicha <jbicha src gnome org>]

commit 3826c0ba113c9b15de29e2d6d24ddfe3ba079d1a
Author: Alex Muñoz <amunoz src gnome org>
Date:   Sun Dec 15 01:17:42 2013 -0300

    Handle SIGINT
    
    https://bugzilla.gnome.org/show_bug.cgi?id=697344

 gnome-tweak-tool |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/gnome-tweak-tool b/gnome-tweak-tool
index 5d59ab3..01edb9b 100755
--- a/gnome-tweak-tool
+++ b/gnome-tweak-tool
@@ -18,6 +18,7 @@ import optparse
 import logging
 import locale
 import gettext
+import signal
 import sys
 
 import gi
@@ -78,6 +79,7 @@ if __name__ == '__main__':
 
     from gtweak.app import GnomeTweakTool
     app = GnomeTweakTool()
+    signal.signal(signal.SIGINT, signal.SIG_DFL)
     exit_status = app.run(None)
     sys.exit(exit_status)