From 6ae462a61c625ea2f6978e4c58db9fbcbd4a5aad Mon Sep 17 00:00:00 2001
From: aliaspider <aliaspider@gmail.com>
Date: Sat, 4 Oct 2014 02:17:32 +0100
Subject: [PATCH] (GLUI) fixes segfault when selecting a video filter.

---
 frontend/menu/disp/glui.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/frontend/menu/disp/glui.c b/frontend/menu/disp/glui.c
index 243e5b24a8..d53041bdea 100644
--- a/frontend/menu/disp/glui.c
+++ b/frontend/menu/disp/glui.c
@@ -163,6 +163,11 @@ static void glui_frame(void)
    if (!driver.menu || !gl)
       return;
 
+   if (driver.menu->need_refresh
+         && g_extern.is_menu
+         && !driver.menu->msg_force)
+      return;
+
    line_height = g_settings.video.font_size * 4 / 3;
    glyph_width = line_height / 2;
    glui_margin = gl->win_width / 20 ;