media library: fix filter issues

1 files changed, 8 insertions, 0 deletions

diff --git a/src/menu.h b/src/menu.h
index ecb2e7e1..123adb33 100644
--- a/src/menu.h
+++ b/src/menu.h
@@ -448,9 +448,17 @@ namespace NCurses
 			
 			/// Checks if list is empty
 			/// @return true if list is empty, false otherwise
+			/// @see ReallyEmpty()
 			///
 			virtual bool Empty() const { return itsOptionsPtr->empty(); }
 			
+			/// Checks if list is really empty since Empty() may not
+			/// be accurate if filter is set)
+			/// @return true if list is empty, false otherwise
+			/// @see Empty()
+			///
+			virtual bool ReallyEmpty() const { return itsOptions.empty(); }
+			
 			/// @return size of the list
 			///
 			virtual size_t Size() const;