WebBrowser/WebBrowserView.py

changeset 5015
ca1d44f0f6b2
parent 5001
08eaee907686
child 5033
d1c2651060ec
equal deleted inserted replaced
5014:337f4a8fe6bb 5015:ca1d44f0f6b2
13 str = unicode # __IGNORE_EXCEPTION__ 13 str = unicode # __IGNORE_EXCEPTION__
14 except NameError: 14 except NameError:
15 pass 15 pass
16 16
17 from PyQt5.QtCore import pyqtSignal, QUrl, QFileInfo, Qt, QTimer, QEvent, \ 17 from PyQt5.QtCore import pyqtSignal, QUrl, QFileInfo, Qt, QTimer, QEvent, \
18 QPoint 18 QPoint, QDateTime
19 from PyQt5.QtGui import QDesktopServices, QClipboard, QIcon, \ 19 from PyQt5.QtGui import QDesktopServices, QClipboard, QIcon, \
20 QContextMenuEvent, QPixmap 20 QContextMenuEvent, QPixmap
21 from PyQt5.QtWidgets import qApp, QStyle, QMenu, QApplication 21 from PyQt5.QtWidgets import qApp, QStyle, QMenu, QApplication
22 from PyQt5.QtWebEngineWidgets import QWebEngineView, QWebEnginePage 22 from PyQt5.QtWebEngineWidgets import QWebEngineView, QWebEnginePage
23 23
1509 @param ok flag indicating the result (boolean) 1509 @param ok flag indicating the result (boolean)
1510 """ 1510 """
1511 self.__isLoading = False 1511 self.__isLoading = False
1512 self.__progress = 0 1512 self.__progress = 0
1513 1513
1514 QApplication.processEvents()
1514 QTimer.singleShot(200, self.__renderPreview) 1515 QTimer.singleShot(200, self.__renderPreview)
1515 1516
1516 from .ZoomManager import ZoomManager 1517 from .ZoomManager import ZoomManager
1517 zoomValue = ZoomManager.instance().zoomValue(self.url()) 1518 zoomValue = ZoomManager.instance().zoomValue(self.url())
1518 self.setZoomValue(zoomValue) 1519 self.setZoomValue(zoomValue)
1520 if ok: 1521 if ok:
1521 self.__mw.historyManager().addHistoryEntry(self) 1522 self.__mw.historyManager().addHistoryEntry(self)
1522 self.__mw.adBlockManager().page().hideBlockedPageEntries( 1523 self.__mw.adBlockManager().page().hideBlockedPageEntries(
1523 self.page()) 1524 self.page())
1524 self.__mw.passwordManager().completePage(self.page()) 1525 self.__mw.passwordManager().completePage(self.page())
1526
1527 self.page().runJavaScript(
1528 "document.lastModified", WebBrowserPage.SafeJsWorld,
1529 lambda res: self.__adjustBookmark(res))
1530
1531 def __adjustBookmark(self, lastModified):
1532 """
1533 Private slot to adjust the 'lastModified' value of bookmarks.
1534
1535 @param lastModified last modified value
1536 @type str
1537 """
1538 modified = QDateTime.fromString(lastModified, "MM/dd/yyyy hh:mm:ss")
1539 if modified.isValid():
1540 from WebBrowser.WebBrowserWindow import WebBrowserWindow
1541 from .Bookmarks.BookmarkNode import BookmarkNode
1542 manager = WebBrowserWindow.bookmarksManager()
1543 for bookmark in manager.bookmarksForUrl(self.url()):
1544 manager.setTimestamp(bookmark, BookmarkNode.TsModified,
1545 modified)
1525 1546
1526 def isLoading(self): 1547 def isLoading(self):
1527 """ 1548 """
1528 Public method to get the loading state. 1549 Public method to get the loading state.
1529 1550

eric ide

mercurial