diff options
| author | Nickolay V. Shmyrev <nshmyrev@yandex.ru> | 2006-11-19 01:42:57 (GMT) |
|---|---|---|
| committer | Nickolay V. Shmyrev <nshmyrev@src.gnome.org> | 2006-11-19 01:42:57 (GMT) |
| commit | f00567758aaf39b2003f26b81fff6de6b213f23e (patch) | |
| tree | df575a254cf066a62436599f9865c12e085260f6 /shell/ev-window.c | |
| parent | 8228ff475e7dced57dbaa9550255534d0c275767 (diff) | |
Use page labels instead of numbers.
2006-11-19 Nickolay V. Shmyrev <nshmyrev@yandex.ru>
* shell/ev-history.c: (ev_history_add_page):
* shell/ev-history.h:
* shell/ev-window.c: (page_changed_cb):
Use page labels instead of numbers.
Diffstat (limited to 'shell/ev-window.c')
| -rw-r--r-- | shell/ev-window.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/shell/ev-window.c b/shell/ev-window.c index 7fb90b2..c7d39cd 100644 --- a/shell/ev-window.c +++ b/shell/ev-window.c @@ -617,10 +617,15 @@ page_changed_cb (EvPageCache *page_cache, gint page, EvWindow *ev_window) { + gchar *label; + ev_window_update_actions (ev_window); - if (ev_window->priv->history) - ev_history_add_page (ev_window->priv->history, page); + if (ev_window->priv->history) { + label = ev_page_cache_get_page_label (ev_window->priv->page_cache, page); + ev_history_add_page (ev_window->priv->history, page, label); + g_free (label); + } if (!ev_window_is_empty (ev_window)) ev_metadata_manager_set_int (ev_window->priv->uri, "page", page); |