Helpviewer/UserAgent/UserAgentMenu.py

changeset 3190
a9a94491c4fd
parent 3160
209a07d7e401
child 3345
071afe8be2a1
equal deleted inserted replaced
3189:9a21c547de5f 3190:a9a94491c4fd
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)
177 menuStack.pop() 177 menuStack.pop()
178 178
179 if xml.hasError(): 179 if xml.hasError():
180 E5MessageBox.critical( 180 E5MessageBox.critical(
181 self, 181 self,
182 self.trUtf8("Parsing default user agents"), 182 self.tr("Parsing default user agents"),
183 self.trUtf8( 183 self.tr(
184 """<p>Error parsing default user agents.</p><p>{0}</p>""") 184 """<p>Error parsing default user agents.</p><p>{0}</p>""")
185 .format(xml.errorString())) 185 .format(xml.errorString()))
186 186
187 return isChecked 187 return isChecked

eric ide

mercurial