Merge pull request #1087 from aliaspider/master

(GLUI) fixes segfault when selecting a video filter.

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 ;