Helpviewer/UserAgent/UserAgentMenu.py

changeset 3345
071afe8be2a1
parent 3190
a9a94491c4fd
child 3484
645c12de6b0c
equal deleted inserted replaced
3343:f7a6d271bb40 3345:071afe8be2a1
49 49
50 # add default action 50 # add default action
51 self.__defaultUserAgent = QAction(self) 51 self.__defaultUserAgent = QAction(self)
52 self.__defaultUserAgent.setText(self.tr("Default")) 52 self.__defaultUserAgent.setText(self.tr("Default"))
53 self.__defaultUserAgent.setCheckable(True) 53 self.__defaultUserAgent.setCheckable(True)
54 self.__defaultUserAgent.triggered[()].connect( 54 self.__defaultUserAgent.triggered.connect(
55 self.__switchToDefaultUserAgent) 55 self.__switchToDefaultUserAgent)
56 if self.__url: 56 if self.__url:
57 self.__defaultUserAgent.setChecked( 57 self.__defaultUserAgent.setChecked(
58 self.__manager.userAgentForUrl(self.__url) == "") 58 self.__manager.userAgentForUrl(self.__url) == "")
59 else: 59 else:
69 # add other action 69 # add other action
70 self.addSeparator() 70 self.addSeparator()
71 self.__otherUserAgent = QAction(self) 71 self.__otherUserAgent = QAction(self)
72 self.__otherUserAgent.setText(self.tr("Other...")) 72 self.__otherUserAgent.setText(self.tr("Other..."))
73 self.__otherUserAgent.setCheckable(True) 73 self.__otherUserAgent.setCheckable(True)
74 self.__otherUserAgent.triggered[()].connect( 74 self.__otherUserAgent.triggered.connect(
75 self.__switchToOtherUserAgent) 75 self.__switchToOtherUserAgent)
76 self.addAction(self.__otherUserAgent) 76 self.addAction(self.__otherUserAgent)
77 self.__actionGroup.addAction(self.__otherUserAgent) 77 self.__actionGroup.addAction(self.__otherUserAgent)
78 self.__otherUserAgent.setChecked(not isChecked) 78 self.__otherUserAgent.setChecked(not isChecked)
79 79
152 act.setText(title) 152 act.setText(title)
153 act.setData(userAgent) 153 act.setData(userAgent)
154 act.setToolTip(userAgent) 154 act.setToolTip(userAgent)
155 act.setCheckable(True) 155 act.setCheckable(True)
156 act.setChecked(userAgent == currentUserAgentString) 156 act.setChecked(userAgent == currentUserAgentString)
157 act.triggered[()].connect(self.__changeUserAgent) 157 act.triggered.connect(self.__changeUserAgent)
158 if menuStack: 158 if menuStack:
159 menuStack[-1].addAction(act) 159 menuStack[-1].addAction(act)
160 else: 160 else:
161 self.addAction(act) 161 self.addAction(act)
162 self.__actionGroup.addAction(act) 162 self.__actionGroup.addAction(act)

eric ide

mercurial