diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2005-05-10 16:01:08 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-05-10 16:01:08 (GMT) |
commit | 5112457d6c321bde178c3577eb37bd0ee62bc209 (patch) | |
tree | 27359add349147708706c397821632be6621ab09 /data | |
parent | f7d8183b26d763d0501f40720aed357d5aa35029 (diff) |
Update label when connecting proxy. Fix a warning with NULL page_cache.
2005-05-10 Marco Pesenti Gritti <mpg@redhat.com>
* shell/ev-page-action.c: (update_pages_label), (connect_proxy):
Update label when connecting proxy. Fix a warning with NULL
page_cache.
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions