--- a/src/eric7/UI/Previewer.py Tue Apr 16 15:47:11 2024 +0200 +++ b/src/eric7/UI/Previewer.py Sat Apr 20 18:01:36 2024 +0200 @@ -128,11 +128,11 @@ """ self.__editorChanged(editor) - def __editorTextChanged(self, editor): # noqa: U100 + def __editorTextChanged(self, _editor): """ Private slot to handle changes of an editor's text. - @param editor reference to the editor + @param _editor reference to the editor (unused) @type Editor """ if self.isVisible():