-gboolean ev_file_set_contents (const gchar *filename,
- const gchar *contents,
- gssize length,
- GError **error);
-#endif /* HAVE_G_FILE_SET_CONTENTS */
+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);
+gboolean using_postscript_printer (GnomePrintConfig *config);
+gboolean using_pdf_printer (GnomePrintConfig *config);
+#endif