GtkWidget *ev_dscwindow_new (void);
void ev_dscwindow_set_presentation (EvDSCWindow *ev_dscwindow,
EvWindow *presentation_window,
GtkWidget *ev_dscwindow_new (void);
void ev_dscwindow_set_presentation (EvDSCWindow *ev_dscwindow,
EvWindow *presentation_window,