diff options
author | Nickolay V. Shmyrev <nshmyrev@src.gnome.org> | 2006-05-27 11:25:00 (GMT) |
---|---|---|
committer | Nickolay V. Shmyrev <nshmyrev@src.gnome.org> | 2006-05-27 11:25:00 (GMT) |
commit | 872101b786854841e6b32cac322f08d3dde6b946 (patch) | |
tree | 7ae16f712381c39f962ee9c83ec6f43675bd282d /shell/ev-window.c | |
parent | 3975d110064cd88af69d393f956f8158aae1878f (diff) |
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.
Diffstat (limited to 'shell/ev-window.c')
-rw-r--r-- | shell/ev-window.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/shell/ev-window.c b/shell/ev-window.c index 29b6a03..1131b35 100644 --- a/shell/ev-window.c +++ b/shell/ev-window.c @@ -516,16 +516,6 @@ update_sizing_buttons (EvWindow *window) } } -void -ev_window_open_page_label (EvWindow *ev_window, - const char *label) -{ - if (ev_window->priv->page_cache) { - ev_page_cache_set_page_label (ev_window->priv->page_cache, - label); - } -} - gboolean ev_window_is_empty (const EvWindow *ev_window) { |