--- a/eric7/Documentation/Source/eric7.Plugins.UiExtensionPlugins.Translator.TranslatorWidget.html Sun Jun 12 16:05:27 2022 +0200 +++ b/eric7/Documentation/Source/eric7.Plugins.UiExtensionPlugins.Translator.TranslatorWidget.html Mon Jun 13 16:39:53 2022 +0200 @@ -239,9 +239,9 @@ </p> <dl> -<dt><i>state</i></dt> +<dt><i>state</i> (QMediaPlayer.PlaybackState)</dt> <dd> -media player state (QMediaPlayer.PlaybackState) +media player state </dd> </dl> <a NAME="TranslatorWidget.__originalLanguage" ID="TranslatorWidget.__originalLanguage"></a>