diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2005-09-19 12:15:02 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-09-19 12:15:02 (GMT) |
commit | c2f443161a3fe0e1415d9e9017c300f6adf52074 (patch) | |
tree | 5a3e166973817271d4524c83262dc91be57e6cf9 /shell/ev-page-cache.c | |
parent | ea7ab15dc184f23fad8b853cbd227b39356c3732 (diff) |
Show the index by default when there is one
2005-09-19 Marco Pesenti Gritti <mpg@redhat.com>
* shell/ev-window.c: (update_sidebar_visibility),
(setup_sidebar_from_metadata), (ev_window_setup_document),
(setup_view_from_metadata):
Show the index by default when there is one
Diffstat (limited to 'shell/ev-page-cache.c')
0 files changed, 0 insertions, 0 deletions