From 7519d3562be7f10572c6c346632ebefc9400353f Mon Sep 17 00:00:00 2001 From: driver1998 Date: Thu, 5 Dec 2019 16:26:25 +0800 Subject: [PATCH] [UWP] Use GLUI on Windows 10 Mobile --- frontend/drivers/platform_uwp.c | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/frontend/drivers/platform_uwp.c b/frontend/drivers/platform_uwp.c index 3038e4868c..9bc96514f4 100644 --- a/frontend/drivers/platform_uwp.c +++ b/frontend/drivers/platform_uwp.c @@ -390,8 +390,16 @@ static void frontend_uwp_environment_get(int *argc, char *argv[], #ifdef HAVE_MENU #if defined(HAVE_OPENGL) || defined(HAVE_OPENGLES) || defined(HAVE_OPENGL_CORE) + if (string_is_equal(uwp_device_family, "Windows.Mobile")) + { + snprintf(g_defaults.settings.menu, + sizeof(g_defaults.settings.menu), "glui"); + } + else + { snprintf(g_defaults.settings.menu, sizeof(g_defaults.settings.menu), "xmb"); + } #endif #endif }