diff -r 866adc8c315b -r 0acf98cd089a eric6/Documentation/Source/eric6.WebBrowser.UserAgent.UserAgentMenu.html --- a/eric6/Documentation/Source/eric6.WebBrowser.UserAgent.UserAgentMenu.html Sun Jan 17 13:53:08 2021 +0100 +++ b/eric6/Documentation/Source/eric6.WebBrowser.UserAgent.UserAgentMenu.html Mon Feb 01 10:38:16 2021 +0100 @@ -129,7 +129,7 @@ Private slot to add the default user agent entries. </p> <dl> -<dt>Returns:</dt> +<dt>Return:</dt> <dd> flag indicating that a user agent entry is checked (boolean) </dd>