-GdkPixbuf *ev_document_misc_get_thumbnail_frame (int width,
- int height,
- GdkPixbuf *source_pixbuf);
+GdkPixbuf *ev_document_misc_get_thumbnail_frame (int width,
+ int height,
+ int rotation,
+ 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,
+ gboolean highlight);