WebBrowser/WebBrowserView.py

changeset 5015
ca1d44f0f6b2
parent 5001
08eaee907686
child 5033
d1c2651060ec
--- a/WebBrowser/WebBrowserView.py	Sun Jul 03 15:51:26 2016 +0200
+++ b/WebBrowser/WebBrowserView.py	Sun Jul 03 16:34:45 2016 +0200
@@ -15,7 +15,7 @@
     pass
 
 from PyQt5.QtCore import pyqtSignal, QUrl, QFileInfo, Qt, QTimer, QEvent, \
-    QPoint
+    QPoint, QDateTime
 from PyQt5.QtGui import QDesktopServices, QClipboard, QIcon, \
     QContextMenuEvent, QPixmap
 from PyQt5.QtWidgets import qApp, QStyle, QMenu, QApplication
@@ -1511,6 +1511,7 @@
         self.__isLoading = False
         self.__progress = 0
         
+        QApplication.processEvents()
         QTimer.singleShot(200, self.__renderPreview)
         
         from .ZoomManager import ZoomManager
@@ -1522,6 +1523,26 @@
             self.__mw.adBlockManager().page().hideBlockedPageEntries(
                 self.page())
             self.__mw.passwordManager().completePage(self.page())
+            
+            self.page().runJavaScript(
+                "document.lastModified", WebBrowserPage.SafeJsWorld,
+                lambda res: self.__adjustBookmark(res))
+    
+    def __adjustBookmark(self, lastModified):
+        """
+        Private slot to adjust the 'lastModified' value of bookmarks.
+        
+        @param lastModified last modified value
+        @type str
+        """
+        modified = QDateTime.fromString(lastModified, "MM/dd/yyyy hh:mm:ss")
+        if modified.isValid():
+            from WebBrowser.WebBrowserWindow import WebBrowserWindow
+            from .Bookmarks.BookmarkNode import BookmarkNode
+            manager = WebBrowserWindow.bookmarksManager()
+            for bookmark in manager.bookmarksForUrl(self.url()):
+                manager.setTimestamp(bookmark, BookmarkNode.TsModified,
+                                     modified)
     
     def isLoading(self):
         """

eric ide

mercurial