void ev_print_region_contents (GdkRegion *region);
+void ev_gui_menu_position_tree_selection (GtkMenu *menu,
+ gint *x,
+ gint *y,
+ gboolean *push_in,
+ gpointer user_data);
+
#ifdef WITH_GNOME_PRINT
GnomePrintConfig* load_print_config_from_file (void);
void save_print_config_to_file (GnomePrintConfig *config);