[gnome-panel] menu: add gp_menu_reload

[Alberts Muktupāvels <muktupavels src gnome org>]

commit c9a6c25f0215fe148257d942cf2916c120f62d44
Author: Alberts Muktupāvels <alberts muktupavels gmail com>
Date:   Wed Sep 12 00:18:46 2018 +0300

    menu: add gp_menu_reload

 modules/menu/gp-menu.c | 6 ++++++
 modules/menu/gp-menu.h | 2 ++
 2 files changed, 8 insertions(+)
---
diff --git a/modules/menu/gp-menu.c b/modules/menu/gp-menu.c
index eeea9b7ce..ecb63719a 100644
--- a/modules/menu/gp-menu.c
+++ b/modules/menu/gp-menu.c
@@ -594,3 +594,9 @@ gp_menu_set_append_func (GpMenu                *menu,
 
   queue_reload (menu);
 }
+
+void
+gp_menu_reload (GpMenu *menu)
+{
+  menu_reload (menu);
+}
diff --git a/modules/menu/gp-menu.h b/modules/menu/gp-menu.h
index e984a887b..01b2de60d 100644
--- a/modules/menu/gp-menu.h
+++ b/modules/menu/gp-menu.h
@@ -34,6 +34,8 @@ void       gp_menu_set_append_func (GpMenu                *menu,
                                     GpAppendMenuItemsFunc  append_func,
                                     gpointer               user_data);
 
+void       gp_menu_reload          (GpMenu                *menu);
+
 G_END_DECLS
 
 #endif