From b014093c97c52b137ef34d45460637a533128734 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Tue, 15 Mar 2016 00:24:42 +0000
Subject: [PATCH] Quit on SIGINT when using a DummyUI

---
 src/main.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main.cc b/src/main.cc
index 0a9e713e..3dea1b9f 100644
--- a/src/main.cc
+++ b/src/main.cc
@@ -290,6 +290,7 @@ std::unique_ptr<UserInterface> make_ui(UIType ui_type)
 {
     struct DummyUI : UserInterface
     {
+        DummyUI() { set_signal_handler(SIGINT, SIG_DFL); }
         void menu_show(ConstArrayView<DisplayLine>, CharCoord,
                        Face, Face, MenuStyle) override {}
         void menu_select(int) override {}