diff -r 3b46c662a004 -r 9960d19d66b5 src/eric7/WebBrowser/UserAgent/UserAgentManager.py --- a/src/eric7/WebBrowser/UserAgent/UserAgentManager.py Tue Dec 06 16:00:06 2022 +0100 +++ b/src/eric7/WebBrowser/UserAgent/UserAgentManager.py Tue Dec 06 16:04:58 2022 +0100 @@ -69,7 +69,7 @@ None, self.tr("Saving user agent data"), self.tr( - """<p>User agent data could not be saved to""" """ <b>{0}</b></p>""" + """<p>User agent data could not be saved to <b>{0}</b></p>""" ).format(agentFile), ) else: