static gboolean menu_unmap(GtkWidget *menu, plugin_instance *p) { ENTER; if (p->panel->autohide) ah_start(p->panel); RET(FALSE); }
static gboolean panel_mapped(GtkWidget *widget, GdkEvent *event, panel *p) { ENTER; if (p->autohide) { ah_stop(p); ah_start(p); } RET(FALSE); }