From 730271d6a7cdddf3720f52952b93c7ee93f18a8c Mon Sep 17 00:00:00 2001
From: Gwenhael Le Moine <gwenhael.le.moine@gmail.com>
Date: Mon, 21 Oct 2024 22:04:05 +0200
Subject: [PATCH] use F7 or F10 to quit (like saturnng and x48ng)

---
 src/ui.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/ui.c b/src/ui.c
index 4254575..8d90954 100644
--- a/src/ui.c
+++ b/src/ui.c
@@ -2556,6 +2556,12 @@ x49gp_ui_key_event(GtkWidget *widget, GdkEventKey *event, gpointer user_data)
 	case GDK_KEY_ssharp:				index = 30;	break;
 	case GDK_KEY_numbersign:			index = 35;	break;
 
+	case GDK_KEY_F7:
+	case GDK_KEY_F10:
+		x49gp->arm_exit = 1;
+		cpu_exit(x49gp->env);
+		return FALSE;
+
 	case GDK_KEY_F12:
 		switch (event->type) {
 		case GDK_KEY_PRESS: