From c6da163cb39d1d2b58cbf51f1685afe84d3ca0c2 Mon Sep 17 00:00:00 2001
From: Enrico Lumetti <enrico.lumetti@gmail.com>
Date: Sat, 27 Aug 2016 17:57:48 +0200
Subject: [PATCH] Fix menu_select in the JSON ui

---
 src/json_ui.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/json_ui.cc b/src/json_ui.cc
index 0e2bde05..644209c0 100644
--- a/src/json_ui.cc
+++ b/src/json_ui.cc
@@ -205,7 +205,7 @@ void JsonUI::menu_show(ConstArrayView<DisplayLine> items,
 
 void JsonUI::menu_select(int selected)
 {
-    rpc_call("menu_show", selected);
+    rpc_call("menu_select", selected);
 }
 
 void JsonUI::menu_hide()