Quit on SIGINT when using a DummyUI

This commit is contained in:
Maxime Coste 2016-03-15 00:24:42 +00:00
parent 09baf73152
commit b014093c97

View File

@ -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 {}