diff options
author | Manuel Quiñones <manuq@laptop.org> | 2013-04-10 13:09:44 (GMT) |
---|---|---|
committer | Manuel Quiñones <manuq@laptop.org> | 2013-04-11 20:25:43 (GMT) |
commit | 5c407b65a83cfb3134a67e5e2ef81d9cdf6c5cba (patch) | |
tree | e7e5bdc067a7ebb1d84bc3d2937dc6ad02a5d4ed | |
parent | 9d886575e4410752be01eacbb72708befcdc8df3 (diff) |
PDF tabs: set status FINISHED if the URL is local - SL #4471
For the remote tabs, FINISHED is set when the download finishes, but
for remote we were leaving the tabs in PROVISIONAL state. This caused
an error when the user tried to close the tab with the local PDF.
Signed-off-by: Manuel Quiñones <manuq@laptop.org>
-rw-r--r-- | pdfviewer.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pdfviewer.py b/pdfviewer.py index 25188b1..1502780 100644 --- a/pdfviewer.py +++ b/pdfviewer.py @@ -319,10 +319,12 @@ class PDFTabPage(Gtk.HBox): if requested_uri.startswith('file://'): self._pdf_uri = requested_uri + self._browser.props.load_status = WebKit.LoadStatus.FINISHED self._show_pdf() elif requested_uri.startswith('journal://'): self._pdf_uri = self._get_path_from_journal(requested_uri) + self._browser.props.load_status = WebKit.LoadStatus.FINISHED self._show_pdf(from_journal=True) # download first if file is remote |