diff -r 5d807e997391 -r c6011e501282 src/eric7/Documentation/Source/eric7.Plugins.PluginTranslator.html
--- a/src/eric7/Documentation/Source/eric7.Plugins.PluginTranslator.html Sat Dec 16 17:52:02 2023 +0100
+++ b/src/eric7/Documentation/Source/eric7.Plugins.PluginTranslator.html Sun Dec 17 17:15:19 2023 +0100
@@ -179,7 +179,7 @@
<dl>
<dt>Return Type:</dt>
<dd>
-any
+Any
</dd>
</dl>
<a NAME="TranslatorPlugin.getPreferencesDefault" ID="TranslatorPlugin.getPreferencesDefault"></a>
@@ -205,7 +205,7 @@
<dl>
<dt>Return Type:</dt>
<dd>
-any
+Any
</dd>
</dl>
<a NAME="TranslatorPlugin.setPreferences" ID="TranslatorPlugin.setPreferences"></a>
@@ -221,7 +221,7 @@
<dd>
the key of the setting to be set
</dd>
-<dt><i>value</i> (any)</dt>
+<dt><i>value</i> (Any)</dt>
<dd>
the value to be set
</dd>
