src/eric7/WebBrowser/UserAgent/UserAgentManager.py

branch
eric7
changeset 9573
9960d19d66b5
parent 9482
a2bc06a54d9d
child 9624
b47dfa7a137d
equal deleted inserted replaced
9572:3b46c662a004 9573:9960d19d66b5
67 if not writer.write(agentFile, self.__agents): 67 if not writer.write(agentFile, self.__agents):
68 EricMessageBox.critical( 68 EricMessageBox.critical(
69 None, 69 None,
70 self.tr("Saving user agent data"), 70 self.tr("Saving user agent data"),
71 self.tr( 71 self.tr(
72 """<p>User agent data could not be saved to""" """ <b>{0}</b></p>""" 72 """<p>User agent data could not be saved to <b>{0}</b></p>"""
73 ).format(agentFile), 73 ).format(agentFile),
74 ) 74 )
75 else: 75 else:
76 self.userAgentSettingsSaved.emit() 76 self.userAgentSettingsSaved.emit()
77 77

eric ide

mercurial