From 26d9202ef901e29d55b05856cc7830d25bbed8c6 Mon Sep 17 00:00:00 2001
From: David Schmenk <dschmenk@users.sf.net>
Date: Sun, 24 Nov 2013 15:19:07 +0000
Subject: [PATCH] Map Alt-F4 to exit and Alt-F10 to reset

---
 src/adb.c | 27 +++++++++++++++------------
 1 file changed, 15 insertions(+), 12 deletions(-)

diff --git a/src/adb.c b/src/adb.c
index b9e43b6..86c99a5 100644
--- a/src/adb.c
+++ b/src/adb.c
@@ -1738,7 +1738,16 @@ adb_physical_key_update(int a2code, int is_up)
 // OG Disabled special keys (but warp)
 #ifndef ACTIVEGS
 		case 0x04: /* F4 - emulator config panel */
-                        cfg_toggle_config_panel();
+                        if (CMD_DOWN)
+                        {
+                            printf("Quit!\n");
+                            iwm_shut();
+                            my_exit(1);
+                        }
+                        else
+                        {
+                            cfg_toggle_config_panel();
+                        }
 			break;
 		case 0x05: /* F5 - emulator clipboard paste */
 			clipboard_paste();
@@ -1778,25 +1787,19 @@ adb_physical_key_update(int a2code, int is_up)
 		case 0x0a: /* F10 - change a2vid paletter */
 			if (SHIFT_DOWN) {
 #ifdef TOGGLE_STATUS
-                            if (CMD_DOWN)
-                            {
-                                printf("Quit!\n");
-                                iwm_shut();
-                                my_exit(1);
-                            }
-                            else
-                            {
 				extern void x_toggle_status_lines();
 				x_toggle_status_lines();
-                            }
 #endif
+                        } else if (CMD_DOWN) {
+                            do_reset();
+                            return;
 			} else {
 				change_a2vid_palette((g_a2vid_palette + 1) & 0xf);
 			}
 			break;
 		case 0x0b: /* F11 - full screen */
-			g_fullscreen = !g_fullscreen;
-			x_full_screen(g_fullscreen);
+                        g_fullscreen = !g_fullscreen;
+                        x_full_screen(g_fullscreen);
 			break;
 #endif
 		}