Helpviewer/UserAgent/UserAgentMenu.py

changeset 6121
d3d64f3128b3
parent 6048
82ad8ec9548c
child 6645
ad476851d7e0
equal deleted inserted replaced
6120:4c60a21ce6dd 6121:d3d64f3128b3
105 if self.__url: 105 if self.__url:
106 self.__manager.setUserAgentForUrl(self.__url, userAgent) 106 self.__manager.setUserAgentForUrl(self.__url, userAgent)
107 else: 107 else:
108 HelpWebPage().setUserAgent(userAgent) 108 HelpWebPage().setUserAgent(userAgent)
109 109
110 def __changeUserAgent(self): 110 def __changeUserAgent(self, act):
111 """ 111 """
112 Private slot to change the user agent. 112 Private slot to change the user agent.
113
114 @param act reference to the action that triggered
115 @type QAction
113 """ 116 """
114 act = self.sender()
115 if self.__url: 117 if self.__url:
116 self.__manager.setUserAgentForUrl(self.__url, act.data()) 118 self.__manager.setUserAgentForUrl(self.__url, act.data())
117 else: 119 else:
118 from Helpviewer.HelpBrowserWV import HelpWebPage 120 from Helpviewer.HelpBrowserWV import HelpWebPage
119 HelpWebPage().setUserAgent(act.data()) 121 HelpWebPage().setUserAgent(act.data())
155 act.setText(title) 157 act.setText(title)
156 act.setData(userAgent) 158 act.setData(userAgent)
157 act.setToolTip(userAgent) 159 act.setToolTip(userAgent)
158 act.setCheckable(True) 160 act.setCheckable(True)
159 act.setChecked(userAgent == currentUserAgentString) 161 act.setChecked(userAgent == currentUserAgentString)
160 act.triggered.connect(self.__changeUserAgent) 162 act.triggered.connect(lambda: self.__changeUserAgent(act))
161 if menuStack: 163 if menuStack:
162 menuStack[-1].addAction(act) 164 menuStack[-1].addAction(act)
163 else: 165 else:
164 self.addAction(act) 166 self.addAction(act)
165 self.__actionGroup.addAction(act) 167 self.__actionGroup.addAction(act)

eric ide

mercurial