guint pages);
void ev_presentation_timer_set_page (EvPresentationTimer *ev_timer,
guint page);
+void ev_presentation_timer_start (EvPresentationTimer *ev_timer);
+void ev_presentation_timer_stop (EvPresentationTimer *ev_timer);
+void ev_presentation_timer_set_time (EvPresentationTimer *ev_timer,
+ gint time);
GType ev_presentation_timer_get_type (void);
GtkWidget *ev_presentation_timer_new (void);