Helpviewer/UserAgent/UserAgentMenu.py

changeset 3020
542e97d4ecb3
parent 3014
9c5e6ef87252
child 3035
36e9f388958b
child 3058
0a02c433f52d
equal deleted inserted replaced
3019:7912530a33e2 3020:542e97d4ecb3
175 175
176 if xml.isEndElement() and xml.name() == "useragentmenu": 176 if xml.isEndElement() and xml.name() == "useragentmenu":
177 menuStack.pop() 177 menuStack.pop()
178 178
179 if xml.hasError(): 179 if xml.hasError():
180 E5MessageBox.critical(self, 180 E5MessageBox.critical(
181 self,
181 self.trUtf8("Parsing default user agents"), 182 self.trUtf8("Parsing default user agents"),
182 self.trUtf8( 183 self.trUtf8(
183 """<p>Error parsing default user agents.</p><p>{0}</p>""") 184 """<p>Error parsing default user agents.</p><p>{0}</p>""")
184 .format(xml.errorString())) 185 .format(xml.errorString()))
185 186

eric ide

mercurial