diff -r d1a603a70f83 -r 9becf9ca115c src/eric7/Documentation/Source/eric7.QScintilla.ShellWindow.html
--- a/src/eric7/Documentation/Source/eric7.QScintilla.ShellWindow.html Tue Apr 23 09:29:13 2024 +0200
+++ b/src/eric7/Documentation/Source/eric7.QScintilla.ShellWindow.html Tue Apr 23 11:26:04 2024 +0200
@@ -345,16 +345,16 @@
<a NAME="ShellWindow.__historyStyleChanged" ID="ShellWindow.__historyStyleChanged"></a>
<h4>ShellWindow.__historyStyleChanged</h4>
-<b>__historyStyleChanged</b>(<i>historyStyle</i>)
+<b>__historyStyleChanged</b>(<i>_historyStyle</i>)
<p>
Private slot to handle a change of the shell history style.
</p>
<dl>
-<dt><i>historyStyle</i> (ShellHistoryStyle)</dt>
+<dt><i>_historyStyle</i> (ShellHistoryStyle)</dt>
<dd>
-style to be used for the history
+style to be used for the history (unused)
</dd>
</dl>
<a NAME="ShellWindow.__newWindow" ID="ShellWindow.__newWindow"></a>
