WebBrowser/Download/DownloadManager.py

changeset 6735
31e263d49c04
parent 6645
ad476851d7e0
equal deleted inserted replaced
6734:1eaf6955acf5 6735:31e263d49c04
195 if page.history().count() != 0: 195 if page.history().count() != 0:
196 return False 196 return False
197 197
198 if not page.url().isEmpty() and \ 198 if not page.url().isEmpty() and \
199 page.url().host() == url.host(): 199 page.url().host() == url.host():
200 return True 200 return True
201 201
202 requestedUrl = page.requestedUrl() 202 requestedUrl = page.requestedUrl()
203 if requestedUrl.isEmpty(): 203 if requestedUrl.isEmpty():
204 requestedUrl = QUrl(view.tabWidget().urlBarForView(view).text()) 204 requestedUrl = QUrl(view.tabWidget().urlBarForView(view).text())
205 return requestedUrl.isEmpty() or requestedUrl.host() == url.host() 205 return requestedUrl.isEmpty() or requestedUrl.host() == url.host()

eric ide

mercurial