Helpviewer/HelpBrowserWV.py

changeset 383
286de4e5179c
parent 381
64ae9e09d8bc
child 487
4d41d03d3d00
--- a/Helpviewer/HelpBrowserWV.py	Sun Jul 04 19:31:00 2010 +0200
+++ b/Helpviewer/HelpBrowserWV.py	Sun Jul 04 20:46:52 2010 +0200
@@ -246,6 +246,39 @@
             pass
         
         return QWebPage.extension(self, extension, option, output)
+    
+    def userAgent(self, resolveEmpty = False):
+        """
+        Public method to get the current user agent setting.
+        
+        @param resolveEmpty flag indicating to resolve an empty 
+            user agent (boolean)
+        @return user agent string (string)
+        """
+        agent = Preferences.getHelp("UserAgent")
+        if agent == "" and resolveEmpty:
+            agent = self.userAgentForUrl(QUrl())
+        return agent
+    
+    def setUserAgent(self, agent):
+        """
+        Public method to set the current user agent string.
+        
+        @param agent new current user agent string (string)
+        """
+        Preferences.setHelp("UserAgent", agent)
+    
+    def userAgentForUrl(self, url):
+        """
+        Protected method to determine the user agent for the given URL.
+        
+        @param url URL to determine user agent for (QUrl)
+        @return user agent string (string)
+        """
+        agent = Preferences.getHelp("UserAgent")
+        if agent == "":
+            agent = QWebPage.userAgentForUrl(self, url)
+        return agent
 
 ##########################################################################################
 

eric ide

mercurial