diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2005-06-06 09:01:06 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-06-06 09:01:06 (GMT) |
| commit | 9f3860c715d418bc4af69e0409714a6d58677839 (patch) | |
| tree | 94005c8ed8d5697ed29c3e4dee7fbc68d73d1acd /backend | |
| parent | df9fcbd74c6e7bebad8b481bf6cd5c21813e2390 (diff) | |
Cleanup the old job when changing document
2005-06-06 Marco Pesenti Gritti <mpg@redhat.com>
* shell/ev-sidebar-links.c: (job_finished_callback),
(ev_sidebar_links_set_document):
Cleanup the old job when changing document
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions