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 |