Helpviewer/UserAgent/UserAgentMenu.py

changeset 3002
6ffc581f00f1
parent 2403
e3d7a861547c
child 3014
9c5e6ef87252
child 3057
10516539f238
equal deleted inserted replaced
3001:3674ff5fa8f8 3002:6ffc581f00f1
30 self.__manager = None 30 self.__manager = None
31 self.__url = url 31 self.__url = url
32 if self.__url: 32 if self.__url:
33 if self.__url.isValid(): 33 if self.__url.isValid():
34 import Helpviewer.HelpWindow 34 import Helpviewer.HelpWindow
35 self.__manager = Helpviewer.HelpWindow.HelpWindow.userAgentsManager() 35 self.__manager = \
36 Helpviewer.HelpWindow.HelpWindow.userAgentsManager()
36 else: 37 else:
37 self.__url = None 38 self.__url = None
38 39
39 self.aboutToShow.connect(self.__populateMenu) 40 self.aboutToShow.connect(self.__populateMenu)
40 41
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

eric ide

mercurial