From e8a00ae73a49b3f023f46cc469043dd9c3ac417e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jean-Andr=C3=A9=20Santoni?= <jean.andre.santoni@gmail.com>
Date: Mon, 21 Sep 2015 23:32:06 +0200
Subject: [PATCH] Workaround for the double populate on cocoatouch

---
 ui/drivers/ui_cocoatouch.m | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/ui/drivers/ui_cocoatouch.m b/ui/drivers/ui_cocoatouch.m
index bbfeb9064c..dbe143f054 100644
--- a/ui/drivers/ui_cocoatouch.m
+++ b/ui/drivers/ui_cocoatouch.m
@@ -527,6 +527,14 @@ static void ui_companion_cocoatouch_notify_list_pushed(void *data,
    bool pushp = false;
 
    size_t new_size = file_list_get_size( menu_list );
+
+   /* FIXME workaround for the double call */
+   if ( old_size == 0 )
+   {
+      old_size = new_size;
+      return;
+   }
+
    if ( old_size == new_size ) {
      pushp = false;
    } else if ( old_size < new_size ) {