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 """ |