diff -r 5ce1774b3106 -r c30f02ea1b27 src/eric7/Documentation/Source/eric7.QScintilla.Shell.html
--- a/src/eric7/Documentation/Source/eric7.QScintilla.Shell.html Thu Nov 24 16:10:58 2022 +0100
+++ b/src/eric7/Documentation/Source/eric7.QScintilla.Shell.html Thu Nov 24 16:11:55 2022 +0100
@@ -1525,18 +1525,18 @@
</dl>
<a NAME="Shell.__writeBanner" ID="Shell.__writeBanner"></a>
<h4>Shell.__writeBanner</h4>
-<b>__writeBanner</b>(<i>version, platform, venvName</i>)
+<b>__writeBanner</b>(<i>versionStr, platformStr, venvName</i>)
<p>
Private method to write a banner with info from the debug client.
</p>
<dl>
-<dt><i>version</i> (str)</dt>
+<dt><i>versionStr</i> (str)</dt>
<dd>
interpreter version string
</dd>
-<dt><i>platform</i> (str)</dt>
+<dt><i>platformStr</i> (str)</dt>
<dd>
platform of the remote interpreter
</dd>
