WebBrowser/UserAgent/UserAgentMenu.py

changeset 6121
d3d64f3128b3
parent 6048
82ad8ec9548c
child 6645
ad476851d7e0
--- a/WebBrowser/UserAgent/UserAgentMenu.py	Wed Feb 07 18:57:46 2018 +0100
+++ b/WebBrowser/UserAgent/UserAgentMenu.py	Wed Feb 07 20:14:09 2018 +0100
@@ -107,11 +107,13 @@
             else:
                 WebBrowserPage.setUserAgent(userAgent)
     
-    def __changeUserAgent(self):
+    def __changeUserAgent(self, act):
         """
         Private slot to change the user agent.
+        
+        @param act reference to the action that triggered
+        @type QAction
         """
-        act = self.sender()
         if self.__url:
             self.__manager.setUserAgentForUrl(self.__url, act.data())
         else:
@@ -157,7 +159,7 @@
                 act.setToolTip(userAgent)
                 act.setCheckable(True)
                 act.setChecked(userAgent == currentUserAgentString)
-                act.triggered.connect(self.__changeUserAgent)
+                act.triggered.connect(lambda: self.__changeUserAgent(act))
                 if menuStack:
                     menuStack[-1].addAction(act)
                 else:

eric ide

mercurial