diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2005-09-02 10:41:11 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-09-02 10:41:11 (GMT) |
| commit | 56b849d72779ad2812dff99426bacebd0944e336 (patch) | |
| tree | c3b5f8be2f15718f012de900dd27c0c857c27634 /shell/ev-sidebar.h | |
| parent | c4b039033dbf4afb9f5f09f9fc58dd3a4624b562 (diff) | |
Add a current page property and allow to get/set it
2005-09-02 Marco Pesenti Gritti <mpg@redhat.com>
* shell/ev-sidebar.h:
* shell/ev-sidebar.c: (ev_sidebar_set_property),
(ev_sidebar_get_current_page), (ev_sidebar_get_property),
(ev_sidebar_class_init), (ev_sidebar_select_page),
(ev_sidebar_menu_item_activate_cb), (ev_sidebar_new),
(ev_sidebar_set_page):
Add a current page property and allow to get/set it
* shell/ev-window.c: (setup_view_from_metadata),
(ev_window_sidebar_current_page_changed_cb), (ev_window_init):
Persist current sidebar page per document
Diffstat (limited to 'shell/ev-sidebar.h')
| -rw-r--r-- | shell/ev-sidebar.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/shell/ev-sidebar.h b/shell/ev-sidebar.h index d599fff..c0e99f0 100644 --- a/shell/ev-sidebar.h +++ b/shell/ev-sidebar.h @@ -54,6 +54,8 @@ GType ev_sidebar_get_type (void); GtkWidget *ev_sidebar_new (void); void ev_sidebar_add_page (EvSidebar *ev_sidebar, GtkWidget *main_widget); +void ev_sidebar_set_page (EvSidebar *ev_sidebar, + GtkWidget *main_widget); void ev_sidebar_set_document (EvSidebar *ev_sidebar, EvDocument *document); |