Helpviewer/HelpBrowserWV.py

changeset 383
286de4e5179c
parent 381
64ae9e09d8bc
child 487
4d41d03d3d00
equal deleted inserted replaced
382:29f660c4ad3e 383:286de4e5179c
244 return True 244 return True
245 except AttributeError: 245 except AttributeError:
246 pass 246 pass
247 247
248 return QWebPage.extension(self, extension, option, output) 248 return QWebPage.extension(self, extension, option, output)
249
250 def userAgent(self, resolveEmpty = False):
251 """
252 Public method to get the current user agent setting.
253
254 @param resolveEmpty flag indicating to resolve an empty
255 user agent (boolean)
256 @return user agent string (string)
257 """
258 agent = Preferences.getHelp("UserAgent")
259 if agent == "" and resolveEmpty:
260 agent = self.userAgentForUrl(QUrl())
261 return agent
262
263 def setUserAgent(self, agent):
264 """
265 Public method to set the current user agent string.
266
267 @param agent new current user agent string (string)
268 """
269 Preferences.setHelp("UserAgent", agent)
270
271 def userAgentForUrl(self, url):
272 """
273 Protected method to determine the user agent for the given URL.
274
275 @param url URL to determine user agent for (QUrl)
276 @return user agent string (string)
277 """
278 agent = Preferences.getHelp("UserAgent")
279 if agent == "":
280 agent = QWebPage.userAgentForUrl(self, url)
281 return agent
249 282
250 ########################################################################################## 283 ##########################################################################################
251 284
252 class HelpBrowser(QWebView): 285 class HelpBrowser(QWebView):
253 """ 286 """

eric ide

mercurial