From ca535b9d40c99c84091544af5929750c3d618939 Mon Sep 17 00:00:00 2001
From: Gergely Polonkai <gergely@polonkai.eu>
Date: Wed, 2 Jan 2013 02:39:45 +0100
Subject: [PATCH] Made menu redisplaying possible

---
 wmud/menu.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/wmud/menu.c b/wmud/menu.c
index a22ba12..2a42d5c 100644
--- a/wmud/menu.c
+++ b/wmud/menu.c
@@ -196,6 +196,7 @@ WMUD_MENU_COMMAND(quit)
 
 WMUD_MENU_COMMAND(redisplay_menu)
 {
+	wmud_menu_present(client);
 }
 
 gboolean