48 |
49 |
49 # add default action |
50 # add default action |
50 self.__defaultUserAgent = QAction(self) |
51 self.__defaultUserAgent = QAction(self) |
51 self.__defaultUserAgent.setText(self.trUtf8("Default")) |
52 self.__defaultUserAgent.setText(self.trUtf8("Default")) |
52 self.__defaultUserAgent.setCheckable(True) |
53 self.__defaultUserAgent.setCheckable(True) |
53 self.__defaultUserAgent.triggered[()].connect(self.__switchToDefaultUserAgent) |
54 self.__defaultUserAgent.triggered[()].connect( |
|
55 self.__switchToDefaultUserAgent) |
54 if self.__url: |
56 if self.__url: |
55 self.__defaultUserAgent.setChecked( |
57 self.__defaultUserAgent.setChecked( |
56 self.__manager.userAgentForUrl(self.__url) == "") |
58 self.__manager.userAgentForUrl(self.__url) == "") |
57 else: |
59 else: |
58 from Helpviewer.HelpBrowserWV import HelpWebPage |
60 from Helpviewer.HelpBrowserWV import HelpWebPage |
67 # add other action |
69 # add other action |
68 self.addSeparator() |
70 self.addSeparator() |
69 self.__otherUserAgent = QAction(self) |
71 self.__otherUserAgent = QAction(self) |
70 self.__otherUserAgent.setText(self.trUtf8("Other...")) |
72 self.__otherUserAgent.setText(self.trUtf8("Other...")) |
71 self.__otherUserAgent.setCheckable(True) |
73 self.__otherUserAgent.setCheckable(True) |
72 self.__otherUserAgent.triggered[()].connect(self.__switchToOtherUserAgent) |
74 self.__otherUserAgent.triggered[()].connect( |
|
75 self.__switchToOtherUserAgent) |
73 self.addAction(self.__otherUserAgent) |
76 self.addAction(self.__otherUserAgent) |
74 self.__actionGroup.addAction(self.__otherUserAgent) |
77 self.__actionGroup.addAction(self.__otherUserAgent) |
75 self.__otherUserAgent.setChecked(not isChecked) |
78 self.__otherUserAgent.setChecked(not isChecked) |
76 |
79 |
77 def __switchToDefaultUserAgent(self): |
80 def __switchToDefaultUserAgent(self): |
172 menuStack.pop() |
175 menuStack.pop() |
173 |
176 |
174 if xml.hasError(): |
177 if xml.hasError(): |
175 E5MessageBox.critical(self, |
178 E5MessageBox.critical(self, |
176 self.trUtf8("Parsing default user agents"), |
179 self.trUtf8("Parsing default user agents"), |
177 self.trUtf8("""<p>Error parsing default user agents.</p><p>{0}</p>""")\ |
180 self.trUtf8( |
|
181 """<p>Error parsing default user agents.</p><p>{0}</p>""") |
178 .format(xml.errorString())) |
182 .format(xml.errorString())) |
179 |
183 |
180 return isChecked |
184 return isChecked |