#ifndef __menu_h__
#define __menu_h__

#include <gtk/gtk.h>

void docklet_menu_cleanup (void);
void docklet_menu_show (GdkEventButton * event);

#endif