From 21b9fb1f4b06773b9a0205001c2fa063a09dc337 Mon Sep 17 00:00:00 2001
From: Themaister <maister@archlinux.us>
Date: Mon, 30 Sep 2013 19:49:09 +0200
Subject: [PATCH] Refresh menu properly on player change.

Players > #2 shouldn't see hotkeys.
---
 frontend/menu/menu_settings.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/frontend/menu/menu_settings.c b/frontend/menu/menu_settings.c
index 4ba5c26e0e..922859b468 100644
--- a/frontend/menu/menu_settings.c
+++ b/frontend/menu/menu_settings.c
@@ -324,6 +324,8 @@ int menu_set_settings(unsigned setting, unsigned action)
                rgui->current_pad++;
          }
 
+         if (port != rgui->current_pad)
+            rgui->need_refresh = true;
          port = rgui->current_pad;
          break;
       case RGUI_SETTINGS_BIND_DEVICE: