Helpviewer/UserAgent/UserAgentMenu.py

changeset 945
8cd4d08fa9f6
parent 791
9ec2ac20e54e
child 1102
aae999261983
equal deleted inserted replaced
944:1b59c4ba121e 945:8cd4d08fa9f6
14 14
15 from .UserAgentDefaults import UserAgentDefaults 15 from .UserAgentDefaults import UserAgentDefaults
16 16
17 from Helpviewer.HelpBrowserWV import HelpWebPage 17 from Helpviewer.HelpBrowserWV import HelpWebPage
18 18
19
19 class UserAgentMenu(QMenu): 20 class UserAgentMenu(QMenu):
20 """ 21 """
21 Class implementing a menu to select the user agent string. 22 Class implementing a menu to select the user agent string.
22 """ 23 """
23 def __init__(self, title, parent = None): 24 def __init__(self, title, parent=None):
24 """ 25 """
25 Constructor 26 Constructor
26 27
27 @param title title of the menu (string) 28 @param title title of the menu (string)
28 @param parent reference to the parent widget (QWidget) 29 @param parent reference to the parent widget (QWidget)
77 userAgent, ok = QInputDialog.getText( 78 userAgent, ok = QInputDialog.getText(
78 self, 79 self,
79 self.trUtf8("Custom user agent"), 80 self.trUtf8("Custom user agent"),
80 self.trUtf8("User agent:"), 81 self.trUtf8("User agent:"),
81 QLineEdit.Normal, 82 QLineEdit.Normal,
82 HelpWebPage().userAgent(resolveEmpty = True)) 83 HelpWebPage().userAgent(resolveEmpty=True))
83 if ok: 84 if ok:
84 HelpWebPage().setUserAgent(userAgent) 85 HelpWebPage().setUserAgent(userAgent)
85 86
86 def __changeUserAgent(self): 87 def __changeUserAgent(self):
87 """ 88 """

eric ide

mercurial