#ifndef __EV_PAGE_CACHE_H__
#define __EV_PAGE_CACHE_H__
-#include <gtk/gtkwidget.h>
+#include <gtk/gtk.h>
+
#include "ev-document.h"
G_BEGIN_DECLS
gfloat scale,
gint *height,
gint *dual_height);
+void ev_page_cache_get_thumbnail_size (EvPageCache *page_cache,
+ gint page,
+ gint rotation,
+ gint *width,
+ gint *height);
gint ev_page_cache_get_max_label_chars (EvPageCache *page_cache);
char *ev_page_cache_get_page_label (EvPageCache *page_cache,
gint page);
gint ev_page_cache_get_current_page (EvPageCache *page_cache);
void ev_page_cache_set_current_page (EvPageCache *page_cache,
int page);
+void ev_page_cache_set_current_page_history (EvPageCache *page_cache,
+ int page);
gboolean ev_page_cache_set_page_label (EvPageCache *page_cache,
const char *page_label);