From 8b30604545a72f4d8efcb16e357c3b6d7957055d Mon Sep 17 00:00:00 2001
From: Bertrand Songis <bsongis@gmail.com>
Date: Mon, 20 Apr 2020 10:45:25 +0200
Subject: [PATCH] Missing helpers

---
 radio/src/thirdparty/libopenui/src/menu.h | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/radio/src/thirdparty/libopenui/src/menu.h b/radio/src/thirdparty/libopenui/src/menu.h
index 03dbeb676..333648f8f 100644
--- a/radio/src/thirdparty/libopenui/src/menu.h
+++ b/radio/src/thirdparty/libopenui/src/menu.h
@@ -74,6 +74,16 @@ class MenuBody: public Window {
 
     void select(int index);
 
+    int selection()
+    {
+      return selectedIndex;
+    }
+
+    int count()
+    {
+      return lines.size();
+    }
+
 #if defined(HARDWARE_KEYS)
     void onEvent(event_t event) override;
 #endif