--- a/src/eric7/Documentation/Source/eric7.WebBrowser.UserAgent.UserAgentMenu.html	Fri Dec 22 13:57:47 2023 +0100
+++ b/src/eric7/Documentation/Source/eric7.WebBrowser.UserAgent.UserAgentMenu.html	Fri Dec 22 17:24:07 2023 +0100
@@ -94,17 +94,17 @@
 </p>
 <dl>
 
-<dt><i>title</i></dt>
+<dt><i>title</i> (str)</dt>
 <dd>
-title of the menu (string)
+title of the menu
 </dd>
-<dt><i>url</i></dt>
+<dt><i>url</i> (QUrl)</dt>
 <dd>
-URL to set user agent for (QUrl)
+URL to set user agent for
 </dd>
-<dt><i>parent</i></dt>
+<dt><i>parent</i> (QWidget)</dt>
 <dd>
-reference to the parent widget (QWidget)
+reference to the parent widget
 </dd>
 </dl>
 <a NAME="UserAgentMenu.__addDefaultActions" ID="UserAgentMenu.__addDefaultActions"></a>
@@ -117,7 +117,13 @@
 <dl>
 <dt>Return:</dt>
 <dd>
-flag indicating that a user agent entry is checked (boolean)
+flag indicating that a user agent entry is checked
+</dd>
+</dl>
+<dl>
+<dt>Return Type:</dt>
+<dd>
+bool
 </dd>
 </dl>
 <a NAME="UserAgentMenu.__changeUserAgent" ID="UserAgentMenu.__changeUserAgent"></a>