From 872101b786854841e6b32cac322f08d3dde6b946 Mon Sep 17 00:00:00 2001 From: Nickolay V. Shmyrev Date: Sat, 27 May 2006 11:25:00 +0000 Subject: Fix page-label command line option. Bug #342070. * backend/ev-link-dest.c: (ev_link_dest_type_get_type), (ev_link_dest_get_page_label), (ev_link_dest_get_property), (ev_link_dest_set_property), (ev_link_dest_finalize), (ev_link_dest_class_init), (ev_link_dest_new_named), (ev_link_dest_new_page_label): * backend/ev-link-dest.h: * shell/ev-application.c: (ev_application_open_uri): * shell/ev-view.c: (goto_dest): * shell/ev-window.c: * shell/ev-window.h: Fix page-label command line option. Bug #342070. --- (limited to 'shell/ev-window.h') diff --git a/shell/ev-window.h b/shell/ev-window.h index 2551073..e54a62e 100644 --- a/shell/ev-window.h +++ b/shell/ev-window.h @@ -59,8 +59,6 @@ void ev_window_open_uri (EvWindow *ev_window, EvLinkDest *dest); void ev_window_goto_dest (EvWindow *ev_window, EvLinkDest *dest); -void ev_window_open_page_label (EvWindow *ev_window, - const char *label); gboolean ev_window_is_empty (const EvWindow *ev_window); #ifdef WITH_GNOME_PRINT void ev_window_print_range (EvWindow *ev_window, -- cgit v0.9.1