From 36a466f2e20d4d8bd913220690136bb9f1705ab9 Mon Sep 17 00:00:00 2001
From: "p.kosyh" <p.kosyh@gmail.com>
Date: Fri, 1 Oct 2010 17:12:25 +0000
Subject: [PATCH] f10 for android

---
 src/sdl-instead/game.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/sdl-instead/game.c b/src/sdl-instead/game.c
index 5451bde..ba0fa6b 100644
--- a/src/sdl-instead/game.c
+++ b/src/sdl-instead/game.c
@@ -2591,8 +2591,12 @@ int game_loop(void)
 				game_menu_act("/new");
 				shift_pressed = alt_pressed = 0;
 			} else if (!is_key(&ev, "f10")) {
+			#ifdef ANDROID
+				break;
+			#else
 				mouse_reset(1);
 				game_menu(menu_askquit);
+			#endif
 			} else if (!alt_pressed && (!is_key(&ev, "return") || !is_key(&ev, "enter"))) {
 				gfx_cursor(&x, &y, NULL, NULL);
 				game_highlight(-1, -1, 0); /* reset */