#ifndef MENU_UTIL_H
#define MENU_UTIL_H

#include <gtk/gtk.h>

G_BEGIN_DECLS

void panel_position_applet_menu (GtkMenu   *menu,
				 int       *x, 
				 int       *y,
				 gboolean  *push_in,
				 GtkWidget *widget);


void       panel_menu_position    (GtkMenu  *menu,
				   gint     *x,
				   gint     *y,
				   gboolean *push_in,
				   gpointer  data);

void       menu_item_menu_position   (GtkMenu  *menu,
				      gint     *x,
				      gint     *y,
				      gboolean *push_in,
				      gpointer  data);

GtkWidget *add_menu_separator     (GtkWidget *menu);

int        get_default_menu_flags (void);
gboolean   got_distro_menus (void);


G_END_DECLS

#endif
