Proper workaround for issue #555

2016-04-22 23:16:26 +02:00
parent d2b32d528f
commit a6879ea2a5
3 changed files with 17 additions and 1 deletions
--- a/src/panel.h
+++ b/src/panel.h
@@ -155,6 +155,7 @@ void render_panel(Panel *panel);

 void set_panel_items_order(Panel *p);
 void place_panel_all_desktops(Panel *p);
+void replace_panel_all_desktops(Panel *p);
 void set_panel_properties(Panel *p);

 // draw background panel