diff -r c712d09cc839 -r f6881d10e995 src/eric7/WebBrowser/UserAgent/UserAgentWriter.py
--- a/src/eric7/WebBrowser/UserAgent/UserAgentWriter.py Fri Dec 22 13:57:47 2023 +0100
+++ b/src/eric7/WebBrowser/UserAgent/UserAgentWriter.py Fri Dec 22 17:24:07 2023 +0100
@@ -27,11 +27,13 @@
"""
Public method to write a user agent data file.
- @param fileNameOrDevice name of the file to write (string)
- or device to write to (QIODevice)
+ @param fileNameOrDevice name of the file to write or device to write to
+ @type str or QIODevice
@param agents dictionary with user agent data (host as key, agent
string as value)
- @return flag indicating success (boolean)
+ @type dict
+ @return flag indicating success
+ @rtype bool
"""
if isinstance(fileNameOrDevice, QIODevice):
f = fileNameOrDevice
@@ -49,7 +51,9 @@
@param agents dictionary with user agent data (host as key, agent
string as value)
- @return flag indicating success (boolean)
+ @type dict
+ @return flag indicating success
+ @rtype bool
"""
self.writeStartDocument()
self.writeDTD("<!DOCTYPE useragents>")
