47 |
47 |
48 self.__actionGroup = QActionGroup(self) |
48 self.__actionGroup = QActionGroup(self) |
49 |
49 |
50 # add default action |
50 # add default action |
51 self.__defaultUserAgent = QAction(self) |
51 self.__defaultUserAgent = QAction(self) |
52 self.__defaultUserAgent.setText(self.trUtf8("Default")) |
52 self.__defaultUserAgent.setText(self.tr("Default")) |
53 self.__defaultUserAgent.setCheckable(True) |
53 self.__defaultUserAgent.setCheckable(True) |
54 self.__defaultUserAgent.triggered[()].connect( |
54 self.__defaultUserAgent.triggered[()].connect( |
55 self.__switchToDefaultUserAgent) |
55 self.__switchToDefaultUserAgent) |
56 if self.__url: |
56 if self.__url: |
57 self.__defaultUserAgent.setChecked( |
57 self.__defaultUserAgent.setChecked( |
67 isChecked = self.__addDefaultActions() or isChecked |
67 isChecked = self.__addDefaultActions() or isChecked |
68 |
68 |
69 # add other action |
69 # add other action |
70 self.addSeparator() |
70 self.addSeparator() |
71 self.__otherUserAgent = QAction(self) |
71 self.__otherUserAgent = QAction(self) |
72 self.__otherUserAgent.setText(self.trUtf8("Other...")) |
72 self.__otherUserAgent.setText(self.tr("Other...")) |
73 self.__otherUserAgent.setCheckable(True) |
73 self.__otherUserAgent.setCheckable(True) |
74 self.__otherUserAgent.triggered[()].connect( |
74 self.__otherUserAgent.triggered[()].connect( |
75 self.__switchToOtherUserAgent) |
75 self.__switchToOtherUserAgent) |
76 self.addAction(self.__otherUserAgent) |
76 self.addAction(self.__otherUserAgent) |
77 self.__actionGroup.addAction(self.__otherUserAgent) |
77 self.__actionGroup.addAction(self.__otherUserAgent) |
92 Private slot to set a custom user agent string. |
92 Private slot to set a custom user agent string. |
93 """ |
93 """ |
94 from Helpviewer.HelpBrowserWV import HelpWebPage |
94 from Helpviewer.HelpBrowserWV import HelpWebPage |
95 userAgent, ok = QInputDialog.getText( |
95 userAgent, ok = QInputDialog.getText( |
96 self, |
96 self, |
97 self.trUtf8("Custom user agent"), |
97 self.tr("Custom user agent"), |
98 self.trUtf8("User agent:"), |
98 self.tr("User agent:"), |
99 QLineEdit.Normal, |
99 QLineEdit.Normal, |
100 HelpWebPage().userAgent(resolveEmpty=True)) |
100 HelpWebPage().userAgent(resolveEmpty=True)) |
101 if ok: |
101 if ok: |
102 if self.__url: |
102 if self.__url: |
103 self.__manager.setUserAgentForUrl(self.__url, userAgent) |
103 self.__manager.setUserAgentForUrl(self.__url, userAgent) |
164 |
164 |
165 if xml.isStartElement() and xml.name() == "useragentmenu": |
165 if xml.isStartElement() and xml.name() == "useragentmenu": |
166 attributes = xml.attributes() |
166 attributes = xml.attributes() |
167 title = attributes.value("title") |
167 title = attributes.value("title") |
168 if title == "v_a_r_i_o_u_s": |
168 if title == "v_a_r_i_o_u_s": |
169 title = self.trUtf8("Various") |
169 title = self.tr("Various") |
170 |
170 |
171 menu = QMenu(self) |
171 menu = QMenu(self) |
172 menu.setTitle(title) |
172 menu.setTitle(title) |
173 self.addMenu(menu) |
173 self.addMenu(menu) |
174 menuStack.append(menu) |
174 menuStack.append(menu) |