diff options
| author | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-01-10 19:08:15 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-01-10 19:08:15 (GMT) |
| commit | 2d5fe16a0b4a8bbb85933e471a62550384446821 (patch) | |
| tree | 8cf9cc024c35796da1b6d75b6d1d1f9312f9ed3d /shell/ev-view.h | |
| parent | d906aff9da8222c4377c558cbb079be0dc26613f (diff) | |
Rename bookmark to link, and use "Index" for the sidebar panel.
Diffstat (limited to 'shell/ev-view.h')
| -rw-r--r-- | shell/ev-view.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/shell/ev-view.h b/shell/ev-view.h index 067873b..9390263 100644 --- a/shell/ev-view.h +++ b/shell/ev-view.h @@ -23,7 +23,7 @@ #include <gtk/gtkwidget.h> #include "ev-document.h" -#include "ev-bookmark.h" +#include "ev-link.h" G_BEGIN_DECLS @@ -47,8 +47,8 @@ void ev_view_select_all (EvView *view); /* Navigation */ void ev_view_go_back (EvView *view); void ev_view_go_forward (EvView *view); -void ev_view_go_to_bookmark (EvView *view, - EvBookmark *bookmark); +void ev_view_go_to_link (EvView *view, + EvLink *link); void ev_view_set_page (EvView *view, int page); int ev_view_get_page (EvView *view); |