diff --git a/tools/libinput-debug-gui.c b/tools/libinput-debug-gui.c index 06ea0b81..62f0aec5 100644 --- a/tools/libinput-debug-gui.c +++ b/tools/libinput-debug-gui.c @@ -37,6 +37,7 @@ #include #include +#include #include #include @@ -918,6 +919,14 @@ usage(void) { printf("Usage: libinput debug-gui [options] [--udev |--device /dev/input/event0]\n"); } +static gboolean +signal_handler(void *data) +{ + gtk_main_quit(); + + return FALSE; +} + int main(int argc, char **argv) { @@ -930,6 +939,8 @@ main(int argc, char **argv) gtk_init(&argc, &argv); + g_unix_signal_add(SIGINT, signal_handler, NULL); + tools_init_options(&options); while (1) {