diff options
author | Carlos Garcia Campos <carlosgc@gnome.org> | 2008-06-15 14:56:06 (GMT) |
---|---|---|
committer | Carlos Garcia Campos <carlosgc@src.gnome.org> | 2008-06-15 14:56:06 (GMT) |
commit | 17f37a4bdb3e37586121edebd9e48cb24340b677 (patch) | |
tree | 4d12da32fe72a147972e57282b47bcb23c4555d1 /backend | |
parent | 93ecacd122011ee485d3583604d058f472f37797 (diff) |
Automaticly reload the document when the file has changed on disk. Bug
2008-06-15 Carlos Garcia Campos <carlosgc@gnome.org>
* shell/Makefile.am:
* shell/ev-file-monitor.[ch]:
* shell/ev-window.c: (ev_window_document_changed),
(ev_window_clear_reload_job), (ev_window_load_job_cb),
(ev_window_reload_job_cb), (ev_window_open_uri),
(ev_window_reload_document), (ev_window_cmd_view_reload),
(ev_window_dispose):
Automaticly reload the document when the file has changed on
disk. Bug #304249.
svn path=/trunk/; revision=3051
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions