From 1244223919d196fcad3d21fc3c9eb0179f5e1c83 Mon Sep 17 00:00:00 2001
From: Andrzej Rybczak <electricityispower@gmail.com>
Date: Thu, 22 Jan 2009 14:32:42 +0100
Subject: [PATCH] if menu is empty, clear it

before this if the only element was removed from menu, it was still displayed.
---
 src/menu.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/menu.h b/src/menu.h
index d3a0bd96..862205e8 100644
--- a/src/menu.h
+++ b/src/menu.h
@@ -262,7 +262,7 @@ template <class T> void Menu<T>::Refresh()
 {
 	if (itsOptions.empty())
 	{
-		wrefresh(itsWindow);
+		Window::Clear();
 		return;
 	}
 	int MaxBeginning = itsOptions.size() < itsHeight ? 0 : itsOptions.size()-itsHeight;