#include <gdk-pixbuf/gdk-pixbuf.h>
+#include <gtk/gtkstyle.h>
G_BEGIN_DECLS
-GdkPixbuf *ev_document_misc_get_thumbnail_frame (int width,
- int height,
- GdkPixbuf *source_pixbuf);
-
-void ev_document_misc_get_page_border_size (gint page_width,
- gint page_height,
- gint *left_border,
- gint *right_border,
- gint *top_border,
- gint *bottom_border);
+GdkPixbuf *ev_document_misc_get_thumbnail_frame (int width,
+ int height,
+ GdkPixbuf *source_pixbuf);
+void ev_document_misc_get_page_border_size (gint page_width,
+ gint page_height,
+ GtkBorder *border);
+void ev_document_misc_paint_one_page (GdkDrawable *drawable,
+ GtkWidget *widget,
+ GdkRectangle *area,
+ GtkBorder *border);
G_END_DECLS