From ecdf9998d09c291ffab3eb2dc824e0063a70bd16 Mon Sep 17 00:00:00 2001 From: Steve Date: Mon, 7 Mar 2016 19:04:12 +0000 Subject: [PATCH] Don't select options widget. --- src/game/title.c | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/game/title.c b/src/game/title.c index 09ae397..a3165d1 100644 --- a/src/game/title.c +++ b/src/game/title.c @@ -247,8 +247,6 @@ static void statsOK(void) static void returnFromOptions(void) { show = SHOW_TITLE; - - selectWidget("options", "title"); } static void quit(void)