Helpviewer/UserAgent/UserAgentMenu.py

changeset 537
72b32daeb8d6
parent 454
d28d558f7484
child 791
9ec2ac20e54e
equal deleted inserted replaced
536:6d8d39753c82 537:72b32daeb8d6
6 """ 6 """
7 Module implementing a menu to select the user agent string. 7 Module implementing a menu to select the user agent string.
8 """ 8 """
9 9
10 from PyQt4.QtCore import QByteArray, QXmlStreamReader 10 from PyQt4.QtCore import QByteArray, QXmlStreamReader
11 from PyQt4.QtGui import QMenu, QAction, QActionGroup, QMessageBox, QInputDialog, \ 11 from PyQt4.QtGui import QMenu, QAction, QActionGroup, QInputDialog, QLineEdit
12 QLineEdit 12
13 from E5Gui import E5MessageBox
13 14
14 from .UserAgentDefaults import UserAgentDefaults 15 from .UserAgentDefaults import UserAgentDefaults
15 16
16 from Helpviewer.HelpBrowserWV import HelpWebPage 17 from Helpviewer.HelpBrowserWV import HelpWebPage
17 18
116 act.setChecked(userAgent == currentUserAgentString) 117 act.setChecked(userAgent == currentUserAgentString)
117 act.triggered[()].connect(self.__changeUserAgent) 118 act.triggered[()].connect(self.__changeUserAgent)
118 self.addAction(act) 119 self.addAction(act)
119 120
120 if xml.hasError(): 121 if xml.hasError():
121 QMessageBox.critical(None, 122 E5MessageBox.critical(self,
122 self.trUtf8("Parsing default user agents"), 123 self.trUtf8("Parsing default user agents"),
123 self.trUtf8("""<p>Error parsing default user agents.</p><p>{0}</p>""")\ 124 self.trUtf8("""<p>Error parsing default user agents.</p><p>{0}</p>""")\
124 .format(xml.errorString())) 125 .format(xml.errorString()))

eric ide

mercurial