From 1d9eea880a39b0a3f30648517f8b17821fbe8097 Mon Sep 17 00:00:00 2001
From: Themaister <maister@archlinux.us>
Date: Tue, 30 Apr 2013 23:36:29 +0200
Subject: [PATCH] Add zip as extension in RGUI file browser.

---
 frontend/menu/rgui.c | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/frontend/menu/rgui.c b/frontend/menu/rgui.c
index 7b58de6ab9..34da51b40c 100644
--- a/frontend/menu/rgui.c
+++ b/frontend/menu/rgui.c
@@ -1988,6 +1988,7 @@ static bool directory_parse(rgui_handle_t *rgui, const char *directory, unsigned
 #endif
 
    const char *exts;
+   char ext_buf[1024];
    if (menu_type == RGUI_SETTINGS_CORE)
       exts = EXT_EXECUTABLES;
 #ifdef HAVE_SHADER_MANAGER
@@ -1997,7 +1998,13 @@ static bool directory_parse(rgui_handle_t *rgui, const char *directory, unsigned
       exts = "cg|glsl";
 #endif
    else if (rgui->info.valid_extensions)
-      exts = rgui->info.valid_extensions;
+   {
+      exts = ext_buf;
+      if (*rgui->info.valid_extensions)
+         snprintf(ext_buf, sizeof(ext_buf), "%s|zip|ZIP", rgui->info.valid_extensions);
+      else
+         *ext_buf = '\0';
+   }
    else
       exts = g_extern.system.valid_extensions;