GType ev_sidebar_thumbnails_get_type (void);
GtkWidget *ev_sidebar_thumbnails_new (void);
-void ev_sidebar_thumbnails_set_document (EvSidebarThumbnails *sidebar_thumbnails,
- EvDocument *document);
-void ev_sidebar_thumbnails_select_page (EvSidebarThumbnails *sidebar_thumbnails,
- int page);
-
G_END_DECLS
#endif /* __EV_SIDEBAR_THUMBNAILS_H__ */