From 87978756c20c5deed34a32af598148125e92c4b4 Mon Sep 17 00:00:00 2001
From: sorgelig <pour.garbage@gmail.com>
Date: Thu, 9 May 2019 23:05:38 +0800
Subject: [PATCH] Don't start wminput if not available.

---
 menu.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/menu.cpp b/menu.cpp
index 501f264..6d976e4 100644
--- a/menu.cpp
+++ b/menu.cpp
@@ -810,9 +810,9 @@ void HandleUI(void)
 		break;
 
 	case KEY_F10:
-		if (user_io_osd_is_visible())
+		if (user_io_osd_is_visible() && !access("/bin/wminput", F_OK))
 		{
-			//menustate = MENU_WMPAIR;
+			menustate = MENU_WMPAIR;
 		}
 		break;