diff options
author | Carlos Garcia Campos <carlosgc@gnome.org> | 2006-12-25 12:17:45 (GMT) |
---|---|---|
committer | Carlos Garcia Campos <carlosgc@src.gnome.org> | 2006-12-25 12:17:45 (GMT) |
commit | eb72fc5f1b6ca2b156516fda0f75c6e0ad367045 (patch) | |
tree | b6e29492476f7f3254e4563077f6bfda23ab3378 /backend | |
parent | d4ab67ff12720f2768b54227960640bc83ba9a77 (diff) |
Update page-cache when page is changed by the view, so that page-changed
2006-12-25 Carlos Garcia Campos <carlosgc@gnome.org>
* shell/ev-view.c: (goto_dest):
Update page-cache when page is changed by the view, so that
page-changed signal is emitted.
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions