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,
void ev_document_misc_paint_one_page (GdkDrawable *drawable,
GtkWidget *widget,
GdkRectangle *area,
- GtkBorder *border);
+ GtkBorder *border,
+ gboolean highlight);
G_END_DECLS